Skip to content

Logic programming

Level: Advanced

The explanation is being written.

Sources and connections are already here. The explanation will say what it is, what it is for and how to do it.

Timeline

1972Colmerauer's group builds the first versions of Prolog, from a project on processing French. source

Sources

ACM CCS 2012, Logic programming and answer set programming Verified 2026-11-09
Colmerauer, Roussel — The birth of Prolog (1993) Verified 2026-11-09