programming) The kind of clause used in logic programming which has no subgoals and so is always true (always succeeds). E.g.
Last updated: 1996-10-20
Updated: Sat Sep 24 14:53:36 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985