Ontify

⌘S

Prolog

Programming in Logic

Programming language that uses first order logic.

External Pages About Prolog

subreddit

Subreddit

KBpedia ID

KBpedia

Statements about Prolog

Instance Of

Stack Exchange Tag

https://stackoverflow.com/tags/prolog

Inception

1972

Designed By

Influenced By

Derivative Work

Described by Source

Different From

Powered byWikidataWikidata
Programming Language
Datalog
Prologue
Declarative Programming Language
Deductive Language
Planner
Logic Programming Language
High-Performance Logic Programming with the Aquarius Prolog Compiler
Strawberry Prolog
Philippe Roussel
Robert Kowalski
Alain Colmerauer