From b8546491fce471fdb4f0b31c0bfec8305ba5a0f5 Mon Sep 17 00:00:00 2001 From: ricroc Date: Tue, 31 May 2005 08:24:24 +0000 Subject: [PATCH] copyright header in OPTYap files git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1315 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- OPTYap/alpha_locks.h | 11 +++++++++++ OPTYap/alpha_locks_funcs.h | 11 +++++++++++ OPTYap/mips_locks.h | 11 +++++++++++ OPTYap/mips_locks_funcs.h | 11 +++++++++++ OPTYap/opt.config.h | 11 +++++++++++ OPTYap/opt.init.c | 11 +++++++++++ OPTYap/opt.macros.h | 11 +++++++++++ OPTYap/opt.mavar.h | 11 +++++++++++ OPTYap/opt.memory.c | 11 +++++++++++ OPTYap/opt.misc.c | 11 +++++++++++ OPTYap/opt.preds.c | 11 +++++++++++ OPTYap/opt.proto.h | 23 ++++++++++------------- OPTYap/opt.structs.h | 11 +++++++++++ OPTYap/or.cowengine.c | 17 +++++++++++++++++ OPTYap/or.cut.c | 11 +++++++++++ OPTYap/or.engine.c | 11 +++++++++++ OPTYap/or.insts.i | 11 +++++++++++ OPTYap/or.macros.h | 11 +++++++++++ OPTYap/or.sbaengine.c | 17 +++++++++++++++++ OPTYap/or.scheduler.c | 11 +++++++++++ OPTYap/or.structs.h | 11 +++++++++++ OPTYap/pthread_locks.h | 23 ++++++++++++++++++++--- OPTYap/sbaamiops.h | 1 + OPTYap/sbaunify.h | 1 + OPTYap/sparc_locks.h | 11 +++++++++++ OPTYap/tab.insts.i | 13 ++++++++++++- OPTYap/tab.structs.h | 11 +++++++++++ OPTYap/tab.suspend.c | 11 +++++++++++ OPTYap/x86_locks.h | 11 +++++++++++ 29 files changed, 320 insertions(+), 17 deletions(-) diff --git a/OPTYap/alpha_locks.h b/OPTYap/alpha_locks.h index da516bb77..2b7eec0f3 100644 --- a/OPTYap/alpha_locks.h +++ b/OPTYap/alpha_locks.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: alpha_locks.h + version: $Id: alpha_locks.h,v 1.2 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------------------- ** ** Atomic lock for ALPHA ** ** ------------------------------- */ diff --git a/OPTYap/alpha_locks_funcs.h b/OPTYap/alpha_locks_funcs.h index cd9a84f36..fbb8e7d8d 100644 --- a/OPTYap/alpha_locks_funcs.h +++ b/OPTYap/alpha_locks_funcs.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: alpha_locks_funcs.h + version: $Id: alpha_locks_funcs.h,v 1.2 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------------------- ** ** Atomic lock for ALPHA ** ** ------------------------------- */ diff --git a/OPTYap/mips_locks.h b/OPTYap/mips_locks.h index 7f3d2076e..b81e9dd58 100644 --- a/OPTYap/mips_locks.h +++ b/OPTYap/mips_locks.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: mips_locks.h + version: $Id: mips_locks.h,v 1.2 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------------------- ** ** Atomic locking for MIPS ** ** ------------------------------- */ diff --git a/OPTYap/mips_locks_funcs.h b/OPTYap/mips_locks_funcs.h index edf367951..f1084a576 100644 --- a/OPTYap/mips_locks_funcs.h +++ b/OPTYap/mips_locks_funcs.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: mips_locks_funcs.h + version: $Id: mips_locks_funcs.h,v 1.2 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------------------- ** ** Atomic locking for MIPS ** ** ------------------------------- */ diff --git a/OPTYap/opt.config.h b/OPTYap/opt.config.h index fa6eecf16..a2718ba04 100644 --- a/OPTYap/opt.config.h +++ b/OPTYap/opt.config.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: opt.config.h + version: $Id: opt.config.h,v 1.5 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ---------------------------------- ** ** Configuration Parameters ** ** ---------------------------------- */ diff --git a/OPTYap/opt.init.c b/OPTYap/opt.init.c index 28bbdd32e..aabefd3ef 100644 --- a/OPTYap/opt.init.c +++ b/OPTYap/opt.init.c @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: opt.init.c + version: $Id: opt.init.c,v 1.6 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------ ** ** Includes ** ** ------------------ */ diff --git a/OPTYap/opt.macros.h b/OPTYap/opt.macros.h index e4df738ae..47857a790 100644 --- a/OPTYap/opt.macros.h +++ b/OPTYap/opt.macros.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: opt.macros.h + version: $Id: opt.macros.h,v 1.6 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* --------------------------- ** ** Memory management ** ** --------------------------- */ diff --git a/OPTYap/opt.mavar.h b/OPTYap/opt.mavar.h index 840fcf60a..1db7a4a52 100644 --- a/OPTYap/opt.mavar.h +++ b/OPTYap/opt.mavar.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: opt.mavar.h + version: $Id: opt.mavar.h,v 1.3 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + #ifdef MULTI_ASSIGNMENT_VARIABLES /* Set of routines to allow restoring updatable variables when we go *up* diff --git a/OPTYap/opt.memory.c b/OPTYap/opt.memory.c index ad5ae8b1f..bbec19d0b 100644 --- a/OPTYap/opt.memory.c +++ b/OPTYap/opt.memory.c @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: opt.memory.c + version: $Id: opt.memory.c,v 1.8 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------------------------------------------ ** ** ** ** By default we use mmap to map memory. ** diff --git a/OPTYap/opt.misc.c b/OPTYap/opt.misc.c index d0312d243..61d2624e5 100644 --- a/OPTYap/opt.misc.c +++ b/OPTYap/opt.misc.c @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: opt.misc.c + version: $Id: opt.misc.c,v 1.10 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------ ** ** Includes ** ** ------------------ */ diff --git a/OPTYap/opt.preds.c b/OPTYap/opt.preds.c index cf928715c..759b330be 100644 --- a/OPTYap/opt.preds.c +++ b/OPTYap/opt.preds.c @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: opt.preds.c + version: $Id: opt.preds.c,v 1.15 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ----------------------------------------------- ** ** Includes, defines and local variables ** ** ----------------------------------------------- */ diff --git a/OPTYap/opt.proto.h b/OPTYap/opt.proto.h index 1e159a515..cf6e7e404 100644 --- a/OPTYap/opt.proto.h +++ b/OPTYap/opt.proto.h @@ -1,6 +1,13 @@ -/* -------------------------------------- ** -** Prototypes for opt.*.c files ** -** -------------------------------------- */ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: opt.proto.h + version: $Id: opt.proto.h,v 1.7 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ /* -------------- ** ** opt.memory.c ** @@ -51,11 +58,6 @@ void finish_yapor(void); #endif /* YAPOR */ - -/* -------------------------------------- ** -** Prototypes for tab.*.c files ** -** -------------------------------------- */ - /* ------------- ** ** tab.tries.c ** ** ------------- */ @@ -85,11 +87,6 @@ void resume_suspension_frame(susp_fr_ptr resume_fr, or_fr_ptr top_or_fr); #endif /* TABLING && YAPOR */ - -/* ------------------------------------- ** -** Prototypes for or.*.c files ** -** ------------------------------------- */ - /* ------------- ** ** or.engine.c ** ** ------------- */ diff --git a/OPTYap/opt.structs.h b/OPTYap/opt.structs.h index 26182f86f..180d5387b 100644 --- a/OPTYap/opt.structs.h +++ b/OPTYap/opt.structs.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: opt.structs.h + version: $Id: opt.structs.h,v 1.6 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ----------------- ** ** Typedefs ** ** ----------------- */ diff --git a/OPTYap/or.cowengine.c b/OPTYap/or.cowengine.c index 6c1c84bda..36002c604 100644 --- a/OPTYap/or.cowengine.c +++ b/OPTYap/or.cowengine.c @@ -1,3 +1,20 @@ +/************************************************************************* +* * +* YAP Prolog * +* * +* Yap Prolog was developed at NCCUP - Universidade do Porto * +* * +* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997 * +* * +************************************************************************** +* * +* File: or.cowengine.c * +* Last rev: * +* mods: * +* comments: * +* * +*************************************************************************/ + /* ------------------ ** ** Includes ** ** ------------------ */ diff --git a/OPTYap/or.cut.c b/OPTYap/or.cut.c index 5b2b5424c..88e8ed422 100644 --- a/OPTYap/or.cut.c +++ b/OPTYap/or.cut.c @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: or.cut.c + version: $Id: or.cut.c,v 1.2 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------ ** ** Includes ** ** ------------------ */ diff --git a/OPTYap/or.engine.c b/OPTYap/or.engine.c index 2d188e645..ec1cdcd72 100644 --- a/OPTYap/or.engine.c +++ b/OPTYap/or.engine.c @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: or.engine.c + version: $Id: or.engine.c,v 1.9 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------ ** ** Includes ** ** ------------------ */ diff --git a/OPTYap/or.insts.i b/OPTYap/or.insts.i index b0930b674..4d8093edf 100644 --- a/OPTYap/or.insts.i +++ b/OPTYap/or.insts.i @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: or.insts.i + version: $Id: or.insts.i,v 1.4 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* -------------------------------- ** ** Scheduler instructions ** ** -------------------------------- */ diff --git a/OPTYap/or.macros.h b/OPTYap/or.macros.h index a0a521c59..5178bb54a 100644 --- a/OPTYap/or.macros.h +++ b/OPTYap/or.macros.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: or.macros.h + version: $Id: or.macros.h,v 1.4 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* -------------------- ** ** Prototypes ** ** -------------------- */ diff --git a/OPTYap/or.sbaengine.c b/OPTYap/or.sbaengine.c index 16ecef4ee..f5ed63e54 100644 --- a/OPTYap/or.sbaengine.c +++ b/OPTYap/or.sbaengine.c @@ -1,3 +1,20 @@ +/************************************************************************* +* * +* YAP Prolog * +* * +* Yap Prolog was developed at NCCUP - Universidade do Porto * +* * +* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997 * +* * +************************************************************************** +* * +* File: or.sbaengine.c * +* Last rev: * +* mods: * +* comments: * +* * +*************************************************************************/ + /* ------------------ ** ** Includes ** ** ------------------ */ diff --git a/OPTYap/or.scheduler.c b/OPTYap/or.scheduler.c index 4aed4db3d..de22632c6 100644 --- a/OPTYap/or.scheduler.c +++ b/OPTYap/or.scheduler.c @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: or.scheduler.c + version: $Id: or.scheduler.c,v 1.4 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------ ** ** Includes ** ** ------------------ */ diff --git a/OPTYap/or.structs.h b/OPTYap/or.structs.h index 3b3848179..f3d075f25 100644 --- a/OPTYap/or.structs.h +++ b/OPTYap/or.structs.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: or.structs.h + version: $Id: or.structs.h,v 1.3 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ----------------------- ** ** Struct worker ** ** ----------------------- */ diff --git a/OPTYap/pthread_locks.h b/OPTYap/pthread_locks.h index 6c8bc9f55..25610fe6f 100644 --- a/OPTYap/pthread_locks.h +++ b/OPTYap/pthread_locks.h @@ -1,6 +1,23 @@ -/* ------------------------------- ** -** Atomic lock for PTHREADS ** -** ------------------------------- */ +/************************************************************************* +* * +* YAP Prolog * +* * +* Yap Prolog was developed at NCCUP - Universidade do Porto * +* * +* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997 * +* * +************************************************************************** +* * +* File: pthread_locks.h * +* Last rev: * +* mods: * +* comments: * +* * +*************************************************************************/ + +/* ----------------------------------- ** +** Atomic locks for PTHREADS ** +** ----------------------------------- */ #define INIT_LOCK(LOCK_VAR) pthread_mutex_init(&(LOCK_VAR), NULL) #define DESTROY_LOCK(LOCK_VAR) pthread_mutex_destroy(&(LOCK_VAR)) diff --git a/OPTYap/sbaamiops.h b/OPTYap/sbaamiops.h index b3a71ffbb..273d5641e 100644 --- a/OPTYap/sbaamiops.h +++ b/OPTYap/sbaamiops.h @@ -16,6 +16,7 @@ * in the SBA model. * * * *************************************************************************/ + #ifdef SCCS static char SccsId[] = "%W% %G%"; #endif /* SCCS */ diff --git a/OPTYap/sbaunify.h b/OPTYap/sbaunify.h index acb4b7c85..ce2ed7df2 100644 --- a/OPTYap/sbaunify.h +++ b/OPTYap/sbaunify.h @@ -16,6 +16,7 @@ * in the SBA model. * * * *************************************************************************/ + #ifdef SCCS static char SccsId[] = "%W% %G%"; #endif /* SCCS */ diff --git a/OPTYap/sparc_locks.h b/OPTYap/sparc_locks.h index 3db1fa709..38927213f 100644 --- a/OPTYap/sparc_locks.h +++ b/OPTYap/sparc_locks.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: sparc_locks.h + version: $Id: sparc_locks.h,v 1.3 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------------------- ** ** Atomic lock for SPARC ** ** ------------------------------- */ diff --git a/OPTYap/tab.insts.i b/OPTYap/tab.insts.i index 1db9d0bcc..a7fb6d982 100644 --- a/OPTYap/tab.insts.i +++ b/OPTYap/tab.insts.i @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: tab.insts.i + version: $Id: tab.insts.i,v 1.13 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------------------------------------ ** ** Tabling instructions: auxiliary macros ** ** ------------------------------------------------ */ @@ -228,7 +239,7 @@ init_subgoal_frame(sg_fr); UNLOCK(SgFr_lock(sg_fr)); store_generator_node(PREG->u.ld.s, COMPLETION, sg_fr); - PREG = NEXTOP(PREG,ld); /* PREG = PREG->u.ld.d; */ + PREG = PREG->u.ld.d; /* PREG = NEXTOP(PREG,ld); */ PREFETCH_OP(PREG); allocate_environment(); GONext(); diff --git a/OPTYap/tab.structs.h b/OPTYap/tab.structs.h index d22465538..f325df81f 100644 --- a/OPTYap/tab.structs.h +++ b/OPTYap/tab.structs.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: tab.structs.h + version: $Id: tab.structs.h,v 1.5 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ---------------------------- ** ** Struct table_entry ** ** ---------------------------- */ diff --git a/OPTYap/tab.suspend.c b/OPTYap/tab.suspend.c index 305cd9c6e..566580ff0 100644 --- a/OPTYap/tab.suspend.c +++ b/OPTYap/tab.suspend.c @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: tab.suspend.c + version: $Id: tab.suspend.c,v 1.4 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ------------------ ** ** Includes ** ** ------------------ */ diff --git a/OPTYap/x86_locks.h b/OPTYap/x86_locks.h index 7db159a76..72e4c003d 100644 --- a/OPTYap/x86_locks.h +++ b/OPTYap/x86_locks.h @@ -1,3 +1,14 @@ +/********************************************************************** + + The OPTYap Prolog system + OPTYap extends the Yap Prolog system to support or-parallel tabling + + Copyright: R. Rocha and NCC - University of Porto, Portugal + File: x86_locks.h + version: $Id: x86_locks.h,v 1.3 2005-05-31 08:24:24 ricroc Exp $ + +**********************************************************************/ + /* ----------------------------- ** ** Atomic lock for X86 ** ** ----------------------------- */