File: test29.m

package info (click to toggle)
elpi 2.0.7-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 50,296 kB
  • sloc: ml: 18,791; makefile: 229; python: 95; sh: 7
file content (25 lines) | stat: -rw-r--r-- 318 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 

:- module test29.

:- interface.

:- import_module io.
:- pred main(io::di, io::uo) is det.
:- implementation.

:- import_module int.

:- pred r(int::out, int::out) is det.

r(5,5).

:- pred p(pred int).
:- mode p(in(pred(out) is det)) is det.

p(X) :- X(_).

:- pred q(int::out) is det.

q(X) :- p(r(X)).

main(!_).