Download Latest Version
DES5.0.1ACIDE0.17WindowsSWI.zip (17.3 MB)
Get an email when there's a new version of Datalog Educational System
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| readme.txt | 2016-02-28 | 844 Bytes | |
| des.el | 2016-02-28 | 143.8 kB | |
| Totals: 2 Items | 144.7 kB | 0 | |
Author: Markus Triska.
Date: 22/2/2007.
Description: Provides an integration of DES into Emacs. Once a Datalog file has been opened, you can consult it by pressing F1 and submit queries and commands from Emacs. This works at least in combination with SWI Prolog (it depends on the -s switch); other systems may require slight modifications.
License: GPL.
Contact: Markus Triska
Installation: Copy des.el to your home directory and add to your .emacs:
(load "~/des")
; adapt the following path as necessary:
(setq des-prolog-file "~/des/systems/swi/des.pl")
(add-to-list 'auto-mode-alist '("\\.dl$" . des-mode))
Restart Emacs, open an *.dl file to load it into a DES process (this currently only works with SWI-Prolog). If the region is active, F1 consults the text in the region. You can then interact with DES as on a terminal.