Abstract
No abstract available.
Cited By
- Ho K, Martin T and Baldwin J Snooker Robot Player - 20 Years on Proceedings of the 2007 IEEE Symposium on Computational Intelligence and Games, (1-8)
- Karali I, Pelecanos E and Halatsis C A versatile module system for Prolog mapped to flat prolog Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (578-585)
- Casanova M, Furtado A and Tucherman L (1991). A software tool for modular database design, ACM Transactions on Database Systems (TODS), 16:2, (209-234), Online publication date: 1-May-1991.
- Cox P Using object-orientation to implement logic programming Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems, (106-114)
- Minch R (2018). Logic programming as a paradigm for financial modeling, MIS Quarterly, 13:1, (65-81), Online publication date: 1-Mar-1989.
- Sosnowski R (1987). Prolog dialects: a deja vu of BASICs, ACM SIGPLAN Notices, 22:6, (39-48), Online publication date: 1-Jun-1987.
- Murphy C (1987). TIMELOG-an intelligent spreadsheet for school timetabling, ACM SIGART Bulletin:101, (21-23), Online publication date: 1-Jul-1987.
- Monfroglio A (1987). Graphical interface for logic programming, ACM SIGART Bulletin:101, (26-28), Online publication date: 1-Jul-1987.
- Butler R, Trimble S and Wilkerson R (1987). A logic programming model of the game of sprouts, ACM SIGCSE Bulletin, 19:1, (319-323), Online publication date: 1-Feb-1987.
- Butler R, Trimble S and Wilkerson R A logic programming model of the game of sprouts Proceedings of the eighteenth SIGCSE technical symposium on Computer science education, (319-323)
- Lee M and Samet P Intelligent computer-based instruction Proceedings of the 15th annual conference on Computer Science, (315-319)
- Frakes W and Fox C An approach to integrating expert system components into production software Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, (50-56)
- Chang Y and Cox P Storage management in a Prolog compiler Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems, (43-52)
- Sergot M, Sadri F, Kowalski R, Kriwaczek F, Hammond P and Cory H (1986). The British Nationality Act as a logic program, Communications of the ACM, 29:5, (370-386), Online publication date: 1-May-1986.
- Cohen J (1985). Describing Prolog by its interpretation and compilation, Communications of the ACM, 28:12, (1311-1324), Online publication date: 1-Dec-1985.
- Koppstein P (1984). Mastering Master Mind logically, ACM SIGART Bulletin:88, (11-14), Online publication date: 1-Apr-1984.
- Emden M Towards a western Fifth-Generation Computer System project Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, (298-302)
- Adelsberger H Prolog as a simulation language Proceedings of the 16th conference on Winter simulation, (500-504)
Index Terms
- Micro-PROLOG: programming in logic
Recommendations
A Dynamic Logic-Based Modal Prolog
MICAI '12: Proceedings of the 2012 11th Mexican International Conference on Artificial IntelligenceThe field of modal logic programming has been developed to extend the expressiveness of logic programming. By introducing the modal operators of necessity and possibility within the language of Horn clauses, modal logic programming languages retain its ...
From answer set logic programming to circumscription via logic of GK
We first embed Pearce's equilibrium logic and Ferraris's propositional general logic programs in Lin and Shoham's logic of GK, a nonmonotonic modal logic that has been shown to include as special cases both Reiter's default logic in the propositional ...