A functional plus logic language. "Quty: A Functional Language Based on Unification", M. Sato et al, in Conf. Fifth Gen. Computer Systems, ICOT 1984, pp.157-165.

In addition suitable contents:
[ ag ] [ al ] [ an ] [ as ] [ at ] [ B ] [ C ] [ ca ] [ cat ] [ Computer ] [ ed ] [ er ] [ et ] [ fi ] [ Fifth ] [ Fun ] [ function ] [ functional ] [ G ] [ ge ] [ gi ] [ gu ] [ h ] [ IC ] [ in ] [ io ] [ la ] [ language ] [ lu ] [ M ] [ mp ] [ ms ] [ na ] [ nc ] [ nf ] [ ng ] [ ni ] [ O ] [ om ] [ OT ] [ pl ] [ plus ] [ Q ] [ S ] [ se ] [ st ] [ T ] [ th ] [ to ] [ ua ] [ us ]