debian/0000755000000000000000000000000012244165031007164 5ustar debian/gbp.conf0000644000000000000000000000003612244165031010602 0ustar [DEFAULT] pristine-tar = True debian/compat0000644000000000000000000000000212244165031010362 0ustar 5 debian/changelog0000644000000000000000000001145112244165031011040 0ustar yap (6.2.2-2) unstable; urgency=low * update patch yap-texinfo, following indications by Vitor Santos Costa from upstream. * add build-dependency on zlib1g-dev so that the zlib package is build. * generate yap documentation with makeinfo instead of texi2html: - drop build-dependency on texi2html - add patch replace-texi2html-by-makeinfo * Patch upstream_6_3_branch_handle_unknown_arch from Ubuntu (thanks to Daniel T Chen!) to solve FTBFS on non-intel architectures (closes: #718719) * Standards-Version 3.9.5 (no change) -- Ralf Treinen Sat, 23 Nov 2013 18:44:55 +0100 yap (6.2.2-1) unstable; urgency=low * New upstream release. This version compiles with gcc-4.8 (closes: #701375) - drop patch 05_open_third_argument * debian/rules: use LDFLAGS as set by dpkg-buildflags * packaging on collab-maint git: - add debian/gbp.conf with pristine-tar=true - set Vcs-* fields in debian/control * debian/rules install target: - define LIBDIR * patch yap-texinfo: fix texinfo for makeinfo from texinfo 5.1 * Use chrpath to rmove rpaths: - invoke in the install target in debian/rules - add to build-dependency * Installation of docs: - install all changes*.html files from upstream - install pillow_doc_html via dh_installdocs - do not install usr/share/doc/Yap * debian/clean: remove some cruft generated by configure. * Standards-Version 3.9.4 (no change) * debian/copyright: migrate to machine-readable format 1.0 -- Ralf Treinen Fri, 14 Jun 2013 22:09:28 +0200 yap (5.1.3-6) unstable; urgency=low * Added build-dependency on libncurses-dev. Thanks to Sven Joachim for the hint. * Added armhf in the architecture list (closes: #629482). Thanks to Konstantinos Margaritis for having checked compilation on armhf. * debian/rules: added targets build-{arch,indep}. -- Ralf Treinen Fri, 21 Oct 2011 14:57:14 +0200 yap (5.1.3-5) unstable; urgency=low * Don't start short description on an article or package name. * Don't start long description on package name. Small improvements in package description. * Source format 3.0 (quilt): - add debian/source - do not build-depend on dpatch - no more patching in debian/rules - rename patches, add headers. - remove debian/README.source * rename some files in debian/ by prefixing them with "yap." * debian/yap.info: add arch/yap.info-3 (closes: #625915) * Standards-version 3.9.2 (no change) -- Ralf Treinen Sat, 07 May 2011 08:53:03 +0200 yap (5.1.3-4) unstable; urgency=low * Build-depend on libreadline-dev, instead of libreadline5-dev. * Standards-Version 3.8.3 (no change) * Added a file README.source * Remove build-dependency on ncurses-dev since we do not need it. -- Ralf Treinen Thu, 01 Oct 2009 21:40:44 +0200 yap (5.1.3-3) unstable; urgency=low * Patch 05_open_third_argument: add third argument to open() when called with O_CREAT (closes: Bug#531744). Thanks to Michael Terry! * Put debian packaging under licence LGPL-2 * Remove mips and mipsel from architecture list (closes: Bug#528085). -- Ralf Treinen Fri, 12 Jun 2009 21:29:35 +0200 yap (5.1.3-2) unstable; urgency=low * Standards-Version 3.8.1 (no change) * Compile with readline support, add build-dependency on libreadline5-dev, remove the now obsolete README.Debian (closes: Bug#525982). * Patch 04_clpr_docu: fix url of the CLPR technical report (closes: Bug#505664) -- Ralf Treinen Mon, 04 May 2009 21:05:32 +0200 yap (5.1.3-1) unstable; urgency=low * New upstream release. * Fix debian/watch. * Removed patches 01_yap-manual since now fixed by upstream. * Removed from patch 03_include-stdlib some chunks fixed by upstream. * pillow documentation: do not install CVS subdirectory. * Do no longer remove examples directories that were empty in previous upstream version. * Document patch 02_pillow-info. * Standards-version 3.8.0 (no change). * Make usr/lib/Yap/startup executable. -- Ralf Treinen Wed, 20 Aug 2008 22:06:11 +0200 yap (5.1.1-3) unstable; urgency=low * debian/control: add Homepage field. * debian/control: specify architectures (closes: Bug#478726) * install docs in doc-base section Programming/Prolog -- Ralf Treinen Tue, 06 May 2008 22:46:46 +0200 yap (5.1.1-2) unstable; urgency=low * Patch 03_include-stdlib: Include stdlib unconditionally since dependency on STDC_HEADERS seems not to work (closes: Bug#465313). -- Ralf Treinen Sun, 17 Feb 2008 18:52:01 +0100 yap (5.1.1-1) unstable; urgency=low * Initial release (Closes: Bug#450688) -- Ralf Treinen Sun, 27 Jan 2008 22:41:36 +0100 debian/yap.10000644000000000000000000000642312244165031010044 0ustar .\" Hey, EMACS: -*- nroff -*- .TH YAP 1 "December 23, 2007" .SH NAME yap \- prolog interpreter and compiler .SH SYNOPSIS .B yap .RI [ options ] " filename " .SH DESCRIPTION \fByap\fP is a prolog interpreter and compiler. In its basic form, \fIyap\fP starts an interactive Prolog interpreter. When restoring a saved state, yap will allocate the same amount of memory as that in use when the state was saved, unless a different amount is specified by flags in the command line. By default, yap restores the file \fIstartup\fP from the current directory or from the yap library. See the yap manual for how to use yap for writing Prolog scripts. .SH OPTIONS .TP .B \-? Print a short error message. .TP .B \-s \fIn\fP Allocate \fIn\FP K bytes for local and global stacks. .TP .B \-h \fIn\fP Allocate \fIn\fP K bytes for heap and auxiliary stacks .TP .B \-t \fIn\fP Allocate \fIn\fP K bytes for the trail stack .TP .B \-l \fIyap-file\fP Compile the Prolog file \fIyap-file\fP before entering the top-level. .TP .B \-L \fIyap-file\fP Compile the Prolog file \fIyap-file\fP and then halt. This option is useful for implementing scripts. .TP .B \-g \fIgoal\fP run the goal \fIgoal\fP before top-level. The goal is converted from an atom to a Prolog term. .TP .B \-z \fIgoal\fP run the goal \fIgoal\fP as top-level. The goal is converted from an atom to a Prolog term. .TP .B \-b \fIboot-file\fP Boot code is in Prolog file \fIboot-file\fP. The filename must define the predicate '$live'/0. .TP .B \-c \fIip-host\fP \fIport\fP Connect standard streams to host \fIip-host\fP at port \fIport\fP. .TP .B filename Restore state saved in the given file. .TP .B \-\- Separator for arguments to Prolog code. These arguments are visible through the unix/1 built-in. .SH ENVIRONMENT .TP .B YAPBINDIR Yap usually boots from a saved state. The saved state will use the default installation directory to search for the YAP binary unless you define the environment variable YAPBINDIR. .TP .B YAPLIBDIR Yap always tries to find saved states from the current directory first. If it cannot it will use the environment variable YAPLIBDIR, if defined, or search the default library directory. .TP .B YAPSHAREDIR Yap will try to find library files from the YAPSHAREDIR/library directory. .SH SEE ALSO The YAP manual is on a debian system available through the info system (command \fIinfo yap\fP), and as a html document through the debian help system. .SH AUTHOR Yap was written by R. Lopes, L.Damas, V. Santos Costa. .PP This manual page was compiled by Ralf Treinen from the Yap manual for the Debian project (but may be used by others). .SH COPYRIGHT Since this manpage is derived from the yap manual it is subject to the licence of the yap manual: Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies. Permission is granted to copy and distribute modified versions of this manual under the conditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one. Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions. debian/yap.doc-base.pillow0000644000000000000000000000141412244165031012661 0ustar Document: pillow Title: The PiLLoW Web Programming Library Author: Daniel Cabeza and Manuel Hermenegildo Section: Programming/Prolog Abstract: The PiLLoW library ("Programming in Logic Languages on the Web") is a public domain Internet/WWW programming library for Logic Programming Systems which simplifies the process of writing applications for such environment. The library provides facilities for generating HTML or XML structured documents by handling them as Herbrand terms, producing HTML forms, writing form handlers, processing HTML templates, accessing and parsing WWW documents (either HTML or XML), accessing code posted at HTTP addresses, etc. Format: HTML Index: /usr/share/doc/yap/pillow_doc_html/pillow_doc.html Files: /usr/share/doc/yap/pillow_doc_html/* debian/rules0000755000000000000000000000453012244165031010246 0ustar #!/usr/bin/make -f # -*- makefile -*- # Sample debian/rules that uses debhelper. # This file was originally written by Joey Hess and Craig Small. # As a special exception, when this file is copied by dh-make into a # dh-make output file, you may use that output file without restriction. # This special exception was added by Craig Small in version 0.37 of dh-make. # Uncomment this to turn on verbose mode. # export DH_VERBOSE=1 DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE) DEB_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE) configure: config-stamp config-stamp: dh_testdir mkdir arch [ -h config.guess ] || { mv config.guess config.guess.upstream; \ ln -s /usr/share/misc/config.guess; } [ -h config.sub ] || { mv config.sub config.sub.upstream; \ ln -s /usr/share/misc/config.sub; } cd arch && \ ../configure --host=$(DEB_HOST_GNU_TYPE) \ --build=$(DEB_BUILD_GNU_TYPE) \ --prefix=/usr \ --mandir=\$${prefix}/share/man \ --infodir=\$${prefix}/share/info \ CFLAGS="$(CFLAGS)" LDFLAGS="-Wl,-z,relro" touch config-stamp build: build-arch build-indep build-arch: build-stamp build-indep: build-stamp build-stamp: configure dh_testdir cd arch && make && make info html touch $@ clean: unpatch dh_testdir dh_testroot [ ! -h config.guess ] || mv config.guess.upstream config.guess [ ! -h config.sub ] || mv config.sub.upstream config.sub rm -f build-stamp config-stamp ! [ -d arch ] || rm -r arch dh_clean install: build dh_testdir dh_testroot dh_clean -k dh_installdirs cd arch \ && $(MAKE) \ ROOTDIR=$(CURDIR)/debian/yap/usr \ EROOTDIR=$(CURDIR)/debian/yap/usr \ YAPLIBDIR=$(CURDIR)/debian/yap/usr/lib/Yap \ YAPSHAREDIR=$(CURDIR)/debian/yap/usr/share/Yap \ LIBDIR=$(CURDIR)/debian/yap/usr/lib \ install cd debian/yap/ && chrpath -d usr/lib/Yap/*.so usr/bin/yap chmod a-x debian/yap/usr/share/Yap/pl/*.yap chmod a+x debian/yap/usr/lib/Yap/startup.yss rm -r debian/yap/usr/share/doc/Yap binary-indep: build install binary-arch: build install dh_testdir dh_testroot dh_installchangelogs dh_installdocs dh_installinfo dh_installman debian/yap.1 dh_link dh_strip dh_compress dh_fixperms dh_installdeb dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb binary: binary-indep binary-arch .PHONY: build configure clean binary-indep binary-arch binary install patch unpatch debian/copyright0000644000000000000000000000653512244165031011130 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: Yap Upstream-Contact: Vitor Santos Costa Luis Damas Source: http://www.ncc.up.pt/~vsc/Yap/downloads.html Files: * Copyright: (C) 1985-1997 L.Damas, V.S.Costa and Universidade do Porto License: LGPL-2 or Artistic-2 Files: BEAM/* Copyright: (C) Ricardo Lopes and NCC - University of Porto, Portugal License: LGPL-2 or Artistic-2 Files: debian/* Copyright: (C) 2007 Ralf Treinen License: LGPL-2+ or Artistic-2 Files: GPL/* Copyright: (C) 1985-2008 University of Amsterdam License: GPL-2+-with-linking-exception Files: LGPL/clp/* Copyright: (C) 2005, K.U.Leuven License: GPL-2+-with-linking-exception Files: LGPL/pillow/* Copyright: (C) 1996/1997/1998/1999/2000 CLIP Group, Dept. of Artificial Intelligence , School of Computer Science, Technical University of Madrid License: LGPL-2+ Files: LGPL/swi_console/* Copyright: (C) 1985-2002, University of Amsterdam License: LGPL-2.1+ Files: packages/chr/* Copyright: (C) 2003-2004, K.U. Leuven License: GPL-2+-with-linking-exception Files: packages/clpqr/* Copyright: (C) 2006, K.U. Leuven and 1992-1995, Austrian Research Institute for Artificial Intelligence (OFAI), Vienna, Austria License: GPL-2+-with-linking-exception Files: packages/jpl/* Copyright: (C) 1985-2004, Paul Singleton License: LGPL-2.1+ License: LGPL-2 This package is free software; you can redistribute it and/or modify it under the terms of the GNU Library General Public License version 2 as published by the Free Software Foundation. On a debian system, the full text of the licence can be found at /usr/share/common-licenses/LGPL-2. License: LGPL-2+ This package is free software; you can redistribute it and/or modify it under the terms of the GNU Library General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. On a debian system, the full text of the licence can be found at /usr/share/common-licenses/LGPL-2. License: LGPL-2.1+ This package is free software; you can redistribute it and/or modify it under the terms of the GNU Library General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. On a debian system, the full text of the licence can be found at /usr/share/common-licenses/LGPL-2.1. License: GPL-2+-with-linking-exception This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. . As a special exception, if you link this library with other files, compiled with a Free Software compiler, to produce an executable, this library does not by itself cause the resulting executable to be covered by the GNU General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU General Public License. . On a debian system, the full text of the licence can be found at /usr/share/common-licenses/GPL-2. License: Artistic-2 On a debian system, the full text of the licence can be found at /usr/share/common-licenses/Artistic. debian/watch0000644000000000000000000000012612244165031010214 0ustar version=3 http://www.dcc.fc.up.pt/~vsc/Yap/downloads.html current/Yap-([.\d]*).tar.gz debian/patches/0000755000000000000000000000000012244165031010613 5ustar debian/patches/upstream_6_3_branch_handle_unknown_arch0000644000000000000000000000114212244165031020447 0ustar Author: Daniel T Chen Description: Backport patch from upstream yap-6.3 git branch (changeset 48d51e) resolving FTBFS on unknown arches Integrated: Ralf Treinen Debian-bug: #718719 Index: yap-6.2.2/C/gprof.c =================================================================== --- yap-6.2.2.orig/C/gprof.c 2010-11-21 18:31:42.000000000 -0500 +++ yap-6.2.2/C/gprof.c 2013-11-22 12:02:16.248810422 -0500 @@ -102,8 +102,8 @@ #else -#define CONTEXT_PC NULL -#define CONTEXT_BP NULL +#define CONTEXT_PC(scv) NULL +#define CONTEXT_BP(scv) NULL #endif debian/patches/02_pillow-info0000755000000000000000000000135112244165031013301 0ustar Author: Ralf Treinen Desription: Fix info-dir entry for Pillow documentation. diff -urNad yap-5.1.1~/LGPL/pillow/doc/pillow_doc.info yap-5.1.1/LGPL/pillow/doc/pillow_doc.info --- yap-5.1.1~/LGPL/pillow/doc/pillow_doc.info 2007-12-31 14:18:02.000000000 +0100 +++ yap-5.1.1/LGPL/pillow/doc/pillow_doc.info 2007-12-31 14:20:13.000000000 +0100 @@ -1,9 +1,9 @@ This is pillow_doc.info, produced by Makeinfo version 3.12h from pillow_doc.texi. +INFO-DIR-SECTION The YAP Prolog System START-INFO-DIR-ENTRY -* pillow: (pillow_doc.info). - The PiLLoW Web Programming Library +* pillow: (pillow_doc). The PiLLoW Web Programming Library END-INFO-DIR-ENTRY The PiLLoW library ("Programming in Logic Languages on the Web") debian/patches/yap-texinfo0000644000000000000000000000143212244165031013001 0ustar Author: Ralf Treinen (following indications by Vitor Santos Costa) Description: fix texinfo code that makes makeinfo v5.1 choke Index: yap/docs/yap.tex =================================================================== --- yap.orig/docs/yap.tex 2013-06-21 09:18:54.000000000 +0200 +++ yap/docs/yap.tex 2013-06-21 09:19:47.000000000 +0200 @@ -15820,7 +15820,7 @@ We next discuss several issues on trying to make Prolog programs run fast in YAP. We assume two different programming styles: -@table @bullet +@itemize @bullet @item Execution of @emph{deterministic} programs often boils down to a recursive loop of the form: @example @@ -15829,7 +15829,7 @@ loop(NewEnv). @end example -@end table +@end itemize @section Deterministic Programs debian/patches/tai-ldflags0000644000000000000000000000147512244165031012734 0ustar Index: yap/packages/tai/Makefile.in =================================================================== --- yap.orig/packages/tai/Makefile.in 2013-06-08 21:55:23.000000000 +0200 +++ yap/packages/tai/Makefile.in 2013-06-09 11:45:31.000000000 +0200 @@ -21,6 +21,7 @@ DEFS=@DEFS@ -D_YAP_NOT_INSTALLED_=1 CC=@CC@ CFLAGS= @SHLIB_CFLAGS@ $(YAP_EXTRAS) $(DEFS) -I$(srcdir) -I../.. -I$(srcdir)/../../include -I$(srcdir)/../PLStream +LDFLAGS=@LDFLAGS@ # # # You shouldn't need to change what follows. @@ -46,7 +47,7 @@ pl-tai.o: $(srcdir)/pl-tai.c (cd libtai ; $(MAKE)) - $(CC) -c $(CFLAGS) $(srcdir)/pl-tai.c -o pl-tai.o + $(CC) -c $(CFLAGS) $(LDFLAGS) $(srcdir)/pl-tai.c -o pl-tai.o @DO_SECOND_LD@pl-tai.@SO@: pl-tai.o @DO_SECOND_LD@ @SHLIB_LD@ $(LDFLAGS) -o pl-tai.@SO@ pl-tai.o libtai/libtai.a @EXTRA_LIBS_FOR_SWIDLLS@ debian/patches/replace-texi2html-by-makeinfo0000644000000000000000000000075512244165031016275 0ustar Author: Ralf Treinen Description: Migrate from obsolete texi2html to makeinfo Index: yap/Makefile.in =================================================================== --- yap.orig/Makefile.in 2013-11-23 15:34:01.357355587 +0100 +++ yap/Makefile.in 2013-11-23 15:57:23.217695640 +0100 @@ -93,7 +93,7 @@ SO=@SO@ MAKEINFO=makeinfo TEXI2DVI=texi2dvi -TEXI2HTML=texi2html +TEXI2HTML=makeinfo --html --no-split TEXI2PDF=texi2pdf YAPLIB=@YAPLIB@ SONAMEFLAG=@SONAMEFLAG@ debian/patches/03_include-stdlib0000755000000000000000000000231312244165031013744 0ustar Author: Ralf Treinen Description: include unconditionally since dependency on STDC_HEADERS seems not to work. diff -urNad yap-5.1.1~/C/load_aout.c yap-5.1.1/C/load_aout.c --- yap-5.1.1~/C/load_aout.c 2002-11-18 18:59:56.000000000 +0100 +++ yap-5.1.1/C/load_aout.c 2008-02-17 19:37:24.000000000 +0100 @@ -20,9 +20,7 @@ #ifdef A_OUT #include -#if STDC_HEADERS #include -#endif #if HAVE_UNISTD_H #include #endif diff -urNad yap-5.1.1~/C/sysbits.c yap-5.1.1/C/sysbits.c --- yap-5.1.1~/C/sysbits.c 2006-02-20 14:18:07.000000000 +0100 +++ yap-5.1.1/C/sysbits.c 2008-02-17 19:36:40.000000000 +0100 @@ -33,9 +33,7 @@ #include "yapio.h" #include "alloc.h" #include -#if STDC_HEADERS #include -#endif #if HAVE_WINDOWS_H #include #endif diff -urNad yap-5.1.1~/C/ypsocks.c yap-5.1.1/C/ypsocks.c --- yap-5.1.1~/C/ypsocks.c 2004-11-18 23:32:37.000000000 +0100 +++ yap-5.1.1/C/ypsocks.c 2008-02-17 19:36:27.000000000 +0100 @@ -27,9 +27,7 @@ #if HAVE_UNISTD_H && !defined(__MINGW32__) && !_MSC_VER #include #endif -#if STDC_HEADERS #include -#endif #if HAVE_SYS_TYPES_H #include #endif debian/patches/series0000644000000000000000000000021412244165031012025 0ustar 02_pillow-info 03_include-stdlib 04_clpr_docu yap-texinfo tai-ldflags replace-texi2html-by-makeinfo upstream_6_3_branch_handle_unknown_arch debian/patches/04_clpr_docu0000755000000000000000000000137712244165031013026 0ustar Author: Ralf Treinen Description Fix location of the CLPR report diff -urNad yap-5.1.3~/docs/clpr.tex yap-5.1.3/docs/clpr.tex --- yap-5.1.3~/docs/clpr.tex 2007-04-07 10:34:48.000000000 +0200 +++ yap-5.1.3/docs/clpr.tex 2009-05-04 21:03:26.000000000 +0200 @@ -8,7 +8,7 @@ and YAP by Christian Holzbaur: Holzbaur C.: OFAI clp(q,r) Manual, Edition 1.3.3, Austrian Research Institute for Artificial Intelligence, Vienna, TR-95-09, 1995, -@url{http://www.ai.univie.ac.at/cgi-bin/tr-online?number+95-09} This +@url{http://www.ofai.at/cgi-bin/tr-online/cgi-bin/tr-online?number+95-09} This port only contains the part concerning real arithmetics. This manual is roughly based on the manual of the above mentioned @strong{CLP(QR)} implementation. debian/yap.dirs0000644000000000000000000000006712244165031010643 0ustar usr/bin usr/lib usr/share usr/include usr/share/info debian/yap.docs0000644000000000000000000000012012244165031010620 0ustar README changes*.html changes.css LGPL/pillow/doc/pillow_doc_html arch/yap.html debian/control0000644000000000000000000000175412244165031010576 0ustar Source: yap Section: devel Priority: extra Maintainer: Ralf Treinen Build-Depends: debhelper (>= 5), autotools-dev, libreadline-dev, libncurses-dev, zlib1g-dev, texinfo, chrpath Standards-Version: 3.9.5 Homepage: http://www.dcc.fc.up.pt/~vsc/Yap/ Vcs-Git: git://git.debian.org/git/collab-maint/yap.git Vcs-Browser: http://git.debian.org/?p=collab-maint/yap.git;a=summary Package: yap Architecture: amd64 armel i386 powerpc s390 armhf Depends: ${shlibs:Depends}, ${misc:Depends} Description: High-performance Prolog System High-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. The YAP Prolog engine is based in the Warren Abstract Machine, with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog. . YAP features a constraint solver over real numbers, and support for constraint handling rules (CHR). debian/yap.info0000644000000000000000000000013612244165031010632 0ustar LGPL/pillow/doc/pillow_doc.info arch/yap.info arch/yap.info-1 arch/yap.info-2 arch/yap.info-3 debian/yap.doc-base.yap0000644000000000000000000000055412244165031012150 0ustar Document: yap Title: YAP Prolog User's Manual Author: Vitor Santos Costa, Luis Damas, Rogerio Reis, and Ruben Azevedo Abstract: This manual documents the YAP Prolog System, a high-performance Prolog compiler developed at LIACC, Universidade do Porto. Section: Programming/Prolog Format: HTML Index: /usr/share/doc/yap/yap.html Files: /usr/share/doc/yap/yap.html debian/clean0000644000000000000000000000006312244165031010170 0ustar packages/http/config.log packages/clib/config.log debian/source/0000755000000000000000000000000012244165031010464 5ustar debian/source/format0000644000000000000000000000001412244165031011672 0ustar 3.0 (quilt)