Results from implementing the event calculus in CLP(R)
File(s)DTR95-17.pdf (945.14 KB)
Technical report
Author(s)
Dryllerakis, KJ
Type
Report
Abstract
This report presents an implementation of the Event Calculus [KS86, Ser90, Sha90b, Sha90a] under the contraint logic programming language CLP (R) Constraint logic programing [JLM86, JL86, JL87] is then put into context; its advantages and limitations are judged and proposal for solutions are made. The description of the implementationis given in phases corresponding to levels of increasing difficulty. All phases are meant to follow a genral scheme so that the examples under consideration should be solved under all phase.
Date Issued
1995-10-01
Citation
Departmental Technical Report: 95/17, 1995
Publisher
Department of Computing, Imperial College London
Journal / Book Title
Departmental Technical Report: 95/17
Copyright Statement
© 1995 E. Adalat. This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Publication Status
Published