Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
This commit is contained in:
commit
60aeb34457
@ -22,7 +22,7 @@
|
|||||||
:- use_module(library(lists)).
|
:- use_module(library(lists)).
|
||||||
|
|
||||||
% android does it by loading the code at startup.
|
% android does it by loading the code at startup.
|
||||||
:- if prolog_flag( host_type , Host), \+ sub_atom(Host, _, _, 0, androideabi).
|
:- if( prolog_flag( host_type , Host), \+ sub_atom(Host, _, _, 0, androideabi) ).
|
||||||
:- use_module(library(shlib)).
|
:- use_module(library(shlib)).
|
||||||
:- load_foreign_library(foreign(prosqlite)).
|
:- load_foreign_library(foreign(prosqlite)).
|
||||||
:- endif.
|
:- endif.
|
||||||
|
12
swi/library/pce.pl
Normal file
12
swi/library/pce.pl
Normal file
@ -0,0 +1,12 @@
|
|||||||
|
|
||||||
|
% support global analysis of the full yap xsources.
|
||||||
|
|
||||||
|
:- module(pce,
|
||||||
|
[
|
||||||
|
op(100, xf, *),
|
||||||
|
op(1200, xfx, :->),
|
||||||
|
op(910, xfy, ::),
|
||||||
|
op(200, fy, @),
|
||||||
|
op(250, yfx, ?),
|
||||||
|
op(990, xfx, :=)
|
||||||
|
]).
|
Reference in New Issue
Block a user