HIFUNLOG : Logic Programming with Higher-order Relational Functions.

Yeh-Heng Sheng

Browse the full ICLP paper archive.