Skip to content

Clarify that ISO Prolog means the Prolog General Core #2958

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Clarify that ISO Prolog means the Prolog General Core #2958

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 4 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Scryer Prolog

Scryer Prolog aims to become to ISO Prolog what GHC is to Haskell: an open
Scryer Prolog aims to become to ISO Prolog[^iso] what GHC is to Haskell: an open
source industrial strength production environment that is also a
testbed for bleeding edge research in logic and constraint
programming, which is itself written in a high-level language.
Expand Down Expand Up @@ -859,7 +859,7 @@ also be performed automatically.

## Applications

Scryer Prolog's strong commitment to the Prolog ISO standard makes it
Scryer Prolog's strong commitment to the Prolog ISO standard[^iso] makes it
ideally suited for use in corporations and government agencies
that are subject to strict regulations pertaining to interoperability,
standards compliance and warranty.
Expand All @@ -882,6 +882,8 @@ Scryer Prolog is also very well suited for teaching and learning
Prolog, and for testing syntactic conformance and hence portability of
existing Prolog programs.

[^iso]: [ISO/IEC 13211-1:1995](https://www.iso.org/standard/21413.html), as modified by technical corrigenda [Cor.1:2007](https://www.iso.org/standard/50405.html), [Cor.2:2012](https://www.iso.org/standard/58033.html), and [Cor.3:2017](https://www.iso.org/standard/73194.html).

## Scryer Prolog Meetups

Scryer Prolog Meetups are an excellent opportunity to present and get
Expand Down