Extensional Higher Order Prolog [3200 views] | Bill Wadge's Blog - discu.eu

Hacker News

Extensional Higher Order Prolog https://billwadge.wordpress.com/2016/01/18/extensional-higher-order-prolog/ 5 comments 23/3/2016

Linking pages

Dialogical logic programming http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/ 24 comments

Related searches:

Search whole site: site:billwadge.wordpress.com

Search title: Extensional Higher Order Prolog [3200 views] | Bill Wadge's Blog

See how to search.

Submit link to: