Source: /wikibot/lambda-prolog

= ΛProlog
{wiki=ΛProlog}