A note on higher-order functions versus logical variables

A commonly cited advantage of Prolog and similar logic languages is that data structures may contain logical (i.e. free) variables. These variables may be regarded as hooks into the data structure, to places where unification may be used to insert new information into the data structure. We show tha...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information processing letters 1989-04, Vol.31 (2), p.91-95
1. Verfasser:	Burton, F.Warren
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer programming Functional Functional programming higher-order functions Information processing Logic programming Prolog Techniques unification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!