Algorithm = Logic + Control
Prolog & others
Наукові публікаціїCan Logic Programming Be Liberated from Predicates and Backtracking?
The File System of a Logic Operating System
This paper describes the file system of an operating system for a logic inference machine.
Text Editing and Beyond: a Study in Logic Modeling
Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI)
The Personal Sequential Inference Machine (PSI) is a personal computer designed as a tool for software and hardware development in Japan's Fifth Generation Computer Systems (FGCS) project. This paper describes PSI's hardware systems and the unique features of ite data processing and sequence control units.
A Logic Model for Text Editing
Applying Constraint Programming to Minimal Lottery Designs
We develop and deploy a set of constraints for the purpose of calculating minimal sizes of lottery designs. Specifically, we find the minimum number of tickets of size six which are needed to match at least two balls on any draw of size six, whenever there are at most 70 balls.
Comparison of Prolog implementations
The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language. A comprehensive discussion of the most significant Prolog systems is presented in an article published in the 50-years of Prolog anniversary issue of the journal Theory and Practice of Logic Programming (TPLP).[1]
РеалізаціїVisual Prolog: A Versatile Programming Language
Visual Prolog is a versatile programming language built upon the logical language Prolog, combining the best features of logical, functional, and object-oriented programming paradigms.
Strawberry Prolog
Professional tool for programming in Prolog. Free Light edition with many example programs in it.
YAP: YAP 7.1.0 Reference Manual
Prolog Studio
trealla-prolog/trealla: A compact, efficient Prolog interpreter written in plain-old C.
A compact, efficient Prolog interpreter written in plain-old C. - trealla-prolog/trealla
The GNU Prolog web site
CxProlog Page
SICStus Prolog Homepage
SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system
The Ciao Prolog system
A Tour of Prolog
Let's take a look at Prolog's greatest attractions and most unique features! In addition to being an excellent database and query language, Prolog is uniquely suited for processing rules, reasoning about strings, and solving combinatorial problems. Rewriting code at compilation time, a feature called macros in other languages, is easily possible in Prolog. Prolog's implicit mechanisms allow exceptionally concise meta-interpreters. These features make Prolog a very attractive language for writing interpreters and other complex applications.
SWI-Prolog
Tau Prolog: A Prolog interpreter in JavaScript
Scryer Prolog
Logtalk
Logtalk - Declarative object-oriented logic programming language
Prolog Tutorial Deutsch
Освітні матеріали#Prolog#video#German#Deutsch#лекція#lecture#відео#німецька#SWI-Prolog#programming#logic
PROLOG Tutorials
Prolog Online Training
Prolog Programming
This series walks through the introductory principles to get started with the prolog logical paradigm. I go through the fundamentals and by the end, you shou...
GitHub - toblotron/praxis-ide: An online IDE for visual programming in Prolog
An online IDE for visual programming in Prolog. Contribute to toblotron/praxis-ide development by creating an account on GitHub.