Skip header Section
Skip Bibliometrics Section
Programming in Prolog (3rd ed.)May 1987
- Authors:
- W. F. Clocksin,
- Christopher S. Mellish
Abstract
No abstract available.
Cited By
- Williams S, Third A and Power R Levels of organisation in ontology verbalisation Proceedings of the 13th European Workshop on Natural Language Generation, (158-163)
- Cheney J and Urban C (2008). Nominal logic programming, ACM Transactions on Programming Languages and Systems, 30:5, (1-47), Online publication date: 1-Aug-2008.
- Mokhtari Y, Abed S, Ait Mohamed O, Tahar S and Song X A New Approach for the Construction of Multiway Decision Graphs Proceedings of the 5th international colloquium on Theoretical Aspects of Computing, (228-242)
- Appeltauer M and Kniesel G (2008). Towards Concrete Syntax Patterns for Logic-based Transformation Rules, Electronic Notes in Theoretical Computer Science (ENTCS), 219, (113-132), Online publication date: 1-Nov-2008.
- Fleck A (2007). Prolog as the first programming language, ACM SIGCSE Bulletin, 39:4, (61-64), Online publication date: 1-Dec-2007.
- Fontoura M, Ionescu M and Minsky N (2019). Decentralized Peer-to-Peer Auctions, Electronic Commerce Research, 5:1, (7-24), Online publication date: 1-Jan-2005.
- Lhoták O and Hendren L Jedd Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, (158-169)
- Lhoták O and Hendren L (2019). Jedd, ACM SIGPLAN Notices, 39:6, (158-169), Online publication date: 9-Jun-2004.
- Hasselbring W (2000). Programming languages and systems for prototyping concurrent applications, ACM Computing Surveys (CSUR), 32:1, (43-79), Online publication date: 1-Mar-2000.
- Guinn C (1998). An Analysis of Initiative Selection in CollaborativeTask-Oriented Discourse, User Modeling and User-Adapted Interaction, 8:3-4, (255-314), Online publication date: 1-Feb-1998.
- Toman D (1998). Memoing Evaluation for Constraint Extensions of Datalog, Constraints, 2:3/4, (337-359), Online publication date: 1-Jan-1998.
- Leuschel M Logic Program Specialisation Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, (155-188)
- Slonneger K (1995). Executing an SECD machine using logic programming, ACM SIGCSE Bulletin, 27:1, (228-232), Online publication date: 15-Mar-1995.
- Reinfelds J (1995). A three paradigm first course for CS majors, ACM SIGCSE Bulletin, 27:1, (223-227), Online publication date: 15-Mar-1995.
- Slonneger K Executing an SECD machine using logic programming Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (228-232)
- Reinfelds J A three paradigm first course for CS majors Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (223-227)
- Nota G and Pacini G (2019). Querying of Executable Software Specifications, IEEE Transactions on Software Engineering, 18:8, (705-716), Online publication date: 1-Aug-1992.
- Salomon D (1992). Four Dimensions of programming-language independence, ACM SIGPLAN Notices, 27:3, (35-53), Online publication date: 1-Mar-1992.
- Munakata T (1992). Notes on implementing sets in Prolog, Communications of the ACM, 35:3, (112-120), Online publication date: 1-Mar-1992.
- Slonneger K An exercise in denotational semantics Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, (178-183)
- Slonneger K (1991). An exercise in denotational semantics, ACM SIGCSE Bulletin, 23:1, (178-183), Online publication date: 1-Mar-1991.
- Gabriel R, White J and Bobrow D (1991). CLOS, Communications of the ACM, 34:9, (29-38), Online publication date: 1-Sep-1991.
- Christiansen H (1990). A survey of adaptable grammars, ACM SIGPLAN Notices, 25:11, (35-44), Online publication date: 1-Nov-1990.
- Mello P (1988). Concurrent objects in a logic programming framework, ACM SIGPLAN Notices, 24:4, (37-39), Online publication date: 1-Apr-1989.
- Sidhu D and Crall C (2019). Executable logic specifications for protocol service interfaces, IEEE Transactions on Software Engineering, 14:1, (98-121), Online publication date: 1-Jan-1988.
- Park S and Miller K (1988). Random number generators: good ones are hard to find, Communications of the ACM, 31:10, (1192-1201), Online publication date: 1-Oct-1988.
- Mello P Concurrent objects in a logic programming framework Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming, (37-39)
- Barklund J Efficient interpretation of Prolog programs Papers of the Symposium on Interpreters and interpretive techniques, (132-137)
- Boeing W (1987). Intelligent information retrieval with proto-Gnosis, ACM SIGBIO Newsletter, 9:4, (19-21), Online publication date: 1-Dec-1987.
- Barklund J (2019). Efficient interpretation of Prolog programs, ACM SIGPLAN Notices, 22:7, (132-137), Online publication date: 1-Jul-1987.
- Howells D, Fiddian N and Gray W A Source-to-Source Meta-Translation System for Relational Query Languages Proceedings of the 13th International Conference on Very Large Data Bases, (227-234)
- Briand J, Fehri M, Logrippo L and Obaid A (1986). Structure of a LOTOS interpreter, ACM SIGCOMM Computer Communication Review, 16:3, (167-175), Online publication date: 1-Aug-1986.
- Briand J, Fehri M, Logrippo L and Obaid A Structure of a LOTOS interpreter Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, (167-175)
- Popowich F SAUMER Proceedings of the second conference on European chapter of the Association for Computational Linguistics, (48-56)
Index Terms
- Programming in Prolog (3rd ed.)
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
A plea for readable pleas for a readable Prolog programming style
Writing a plea for a readable Prolog programming style is not like writing most pleas. In writing a plea for a readable Prolog programming style in particular, one could possibly bring forth many results. This means that special care must be taken when ...
Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!)
DAMP '11: Proceedings of the sixth workshop on Declarative aspects of multicore programmingWe discuss the impact of the separation of logic engines (independent logic processing units) and multi-threading on the design of parallel programming constructs aware of the fundamental invariant of today's typical computer architectures: the presence ...
Towards a jitting VM for prolog execution
PPDP '10: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programmingMost Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes them hard to write. In addition, many of the more dynamic features of Prolog ...