Prolog
stable
Overview
Implementation
Tests
Listing
Prolog
Docs
»
Prolog Documentation
Edit on GitHub
Prolog Documentation
ΒΆ
Overview
Motivation
Goals
Accomplishments
Implementation
Capabilities
Components
Status
Tests
Unit Tests
Documentation Tests
Continuous Integration
Coverage
Listing
ast.ml
common.ml
evaluator.ml
lexer.mll
main.ml
parser.mly
Read the Docs
v: stable
Versions
latest
stable
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.