Searched refs:lips (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dlips.pl26 % Version: $Id: lips.pl,v 1.3 2009/07/16 09:11:24 jschimpf Exp $
32 % IDENTIFICATION: lips.pl
36 % CONTENTS: lips/0,1,2
41 :- module(lips).
69 :- comment(lips/0, [template:"lips",
72 :- comment(lips/1, [template:"lips(+Count)",
75 :- comment(lips/2, [template:"lips(
84 lips :- label
[all...]

Completed in 81 milliseconds