custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
Primary LanguagePythonApache License 2.0Apache-2.0