Paterson-Jones, R. and Wood, Peter (1993) Extending the WAM for HiLog. In: Miller, D. (ed.) Logic Programming: Proceedings of the 1993 International Symposium. MIT Press. ISBN 9780262631525.
Abstract
Book synopsis: Logic programming continues to develop by broadening its foundations, exploring new language designs, and establishing more connections with other areas of computer science.The past years have seen a large number of effective implementations of logic programs for a variety of computer architectures in numerous application areas. Logic programming continues to develop by broadening its foundations, exploring new language designs, and establishing more connections with other areas of computer science.Topics include: Algorithmic Analysis. Constraints. Environmental Support. Natural Language. Programming Methodologies. Artificial Intelligence. Concurrency and Parallelism. Logical Extensions. Meta and Higher-Order Programming. Semantic Analysis. Compilation Techniques. Deductive Databases. Implementations and Architectures. Proof Theory. Programming Language Design.
Metadata
Item Type: | Book Section |
---|---|
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Depositing User: | Sarah Hall |
Date Deposited: | 18 Oct 2021 16:45 |
Last Modified: | 09 Aug 2023 12:52 |
URI: | https://eprints.bbk.ac.uk/id/eprint/46342 |
Statistics
Additional statistics are available via IRStats2.