Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
PIKA-lab
tuProlog
2P-Kt
Issues
#151
Issue in parsing structures whose functor is a truth value (true, false, fail)
cf.
https://github.com/tuProlog/2p-kt/issues/5