UP      FCUP      DCC      CRACS      Yap Prolog

• Contact
• Bio
• Research
  • Service & Events
  • Projects
  • Prototypes
  • Alumni
  • Key Papers
  • Links
• Publications
• Talks & Posters
• Teaching

Prototypes and Systems

YapTab
The YapTab system extends the Yap Prolog engine to support sequential tabling. YapTab implements tabled evaluation based on the SLG-WAM model.

YapOr
The YapOr system extends the Yap Prolog engine to support parallel execution. YapOr is based on the environment copying model to exploit implicit or-parallelism in logic programs.

OPTYap
The OPTYap system extends the Yap Prolog engine to support parallel tabling. OPTYap is based on the SLG-WAM and environment copying models to exploit implicit or-parallelism in tabled logic programs.