diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

bprolog support

This commit is contained in:
Vítor Santos Costa 2011-10-27 12:38:22 +02:00
parent 20a1362bf8
commit 1769fc7313
3 changed files with 34 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
include/yap_structs.h
View File

@ -95,6 +95,22 @@ typedef double YAP_Float;
#endif #endif
typedef enum {
YAP_TAG_ATT = 0x1,
YAP_TAG_UNBOUND = 0x2,
YAP_TAG_REF = 0x4,
YAP_TAG_PAIR = 0x8,
YAP_TAG_ATOM = 0x10,
YAP_TAG_INT = 0x20,
YAP_TAG_LONG_INT = 0x40,
YAP_TAG_BIG_INT = 0x80,
YAP_TAG_RATIONAL = 0x100,
YAP_TAG_FLOAT = 0x200,
YAP_TAG_OPAQUE = 0x400,
YAP_TAG_APPL = 0x800,
YAP_TAG_DBREF = 0x1000
} YAP_tag_t;
#define YAP_BOOT_FROM_PROLOG 0 #define YAP_BOOT_FROM_PROLOG 0
#define YAP_BOOT_FROM_SAVED_CODE 1 #define YAP_BOOT_FROM_SAVED_CODE 1
#define YAP_BOOT_FROM_SAVED_STACKS 2 #define YAP_BOOT_FROM_SAVED_STACKS 2

35
library/dialect/bprolog/fli/bp.h → library/dialect/bprolog/fli/bprolog.h
View File

@ -1,7 +1,13 @@
#include <YapInterface.h> #include <YapInterface.h>
#define TERM YAP_Term typedef YAP_Term TERM;
typedef YAP_Int BPLONG;
typedef YAP_UInt BPULONG;
typedef BPLONG *BPLONG_PTR;
#define BP_TRUE TRUE
#define BP_FALSE FALSE
//extern TERM bp_get_call_arg(int i, int arity); //extern TERM bp_get_call_arg(int i, int arity);
#define bp_get_call_arg( i, arity) YAP_A(i) #define bp_get_call_arg( i, arity) YAP_A(i)
@ -19,13 +25,13 @@
#define bp_is_nil(t) YAP_IsTermNil(t) #define bp_is_nil(t) YAP_IsTermNil(t)
//extern int bp_is_list(TERM t) //extern int bp_is_list(TERM t)
#define bp_is_nil(t) YAP_IsPairTerm(t) #define bp_is_list(t) YAP_IsPairTerm(t)
//extern int bp_is_structure(TERM t) //extern int bp_is_structure(TERM t)
#define bp_is_nil(t) YAP_IsApplTerm(t) #define bp_is_structure(t) YAP_IsApplTerm(t)
//extern int bp_is_compound(TERM t) //extern int bp_is_compound(TERM t)
#define bp_is_nil(t) ( YAP_IsApplTerm(t) || YAP_IsPairTerm(t) ) #define bp_is_compound(t) ( YAP_IsApplTerm(t) || YAP_IsPairTerm(t) )
//extern int bp_is_unifiable(TERM t1, Term t2) //extern int bp_is_unifiable(TERM t1, Term t2)
#define bp_is_unifiable(t1, t2) YAP_unifiable_NOT_IMPLEMENTED(t1, t2) #define bp_is_unifiable(t1, t2) YAP_unifiable_NOT_IMPLEMENTED(t1, t2)
@ -40,7 +46,7 @@
#define bp_get_float(t) YAP_FloatOfTerm(t) #define bp_get_float(t) YAP_FloatOfTerm(t)
// char *bp_get_name(TERM t) // char *bp_get_name(TERM t)
static inline char * inline static const char *
bp_get_name(TERM t) bp_get_name(TERM t)
{ {
if (YAP_IsAtomTerm(t)) { if (YAP_IsAtomTerm(t)) {
@ -62,10 +68,10 @@ bp_get_arity(TERM t)
return 0; return 0;
} }
if (YAP_IsApplTerm(t)) { if (YAP_IsApplTerm(t)) {
return (int)YAP_ArityOfFunctor(YAP_FunctorOfTerm(t))); return (int)YAP_ArityOfFunctor(YAP_FunctorOfTerm(t));
} }
// exception = illegal_arguments; // exception = illegal_arguments;
return NULL; return 0;
} }
//extern int bp_unify(TERM t1, TERM t2) //extern int bp_unify(TERM t1, TERM t2)
@ -119,23 +125,18 @@ bp_get_arity(TERM t)
// void bp_mount_query_term(TERM goal) // void bp_mount_query_term(TERM goal)
// #define bp_mount_query_term(goal) bp_t = t; // #define bp_mount_query_term(goal) bp_t = t;
TERM bp_t;
// TERM bp_next_solution() // TERM bp_next_solution()
static int bp_next_solution(void) static int bp_next_solution(void)
{ {
if (bp_t) { if (bp_t) {
Term t = bp_t; TERM goal = bp_t;
bp_t = NULL; bp_t = 0L;
return YAP_RunGoal(YAP_ReadBuffer(goal, NULL)); return YAP_RunGoal(goal);
} }
return YAP_RestartGoal(); return YAP_RestartGoal();
} }

4
library/terms.yap
View File

@ -38,9 +38,5 @@ term_hash(T,H) :-
subsumes_chk(X,Y) :- subsumes_chk(X,Y) :-
\+ \+ subsumes(X,Y). \+ \+ subsumes(X,Y).
unifiable(X,Y,Z) :-
protected_unifiable(X,Y,Z), !.
unifiable(_,_,_) :- fail.