Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

teyjus-1.0_b33-3mdk RPM for i586

From Mandriva 2006.0 for i586 / media / contrib

Name: teyjus Distribution: Mandrakelinux
Version: 1.0_b33 Vendor: Mandrakesoft
Release: 3mdk Build date: Fri Jun 4 15:08:01 2004
Group: Development/Other Build host: n3.mandrakesoft.com
Size: 1093874 Source RPM: teyjus-1.0_b33-3mdk.src.rpm
Packager: Pixel <pixel@mandrakesoft.com>
Url: http://teyjus.cs.umn.edu/
Summary: Lambda Prolog - a higher-order logic programming language
Teyjus is an efficient implementation of the higher-order logic programming
language Lambda Prolog. One of the main strengths of Lambda Prolog, a language
originally developed by Dale Miller and Gopalan Nadathur, is the support it
offers for higher-order abstract syntax, a new and increasingly popular way to
view the structure of objects such as formulas and programs. Lambda Prolog
realizes this facility by employing data structures based on lambda terms to
represent the notion of binding and by including primitives for probing such
terms in logically meaningful ways. The new features present in the language
pose several implementation challenges that have been addressed in the work of
Nadathur and his colleagues. The Teyjus system is a compiler and abstract
machine based realization of Lambda Prolog that incorporates the ideas that
have resulted from this research.

Provides

Requires

License

GPL

Changelog

* Fri Jun 04 2004 Pixel <pixel@mandrakesoft.com> 1.0_b33-3mdk
  - rebuild
* Fri Apr 25 2003 Pixel <pixel@mandrakesoft.com> 1.0_b33-2mdk
  - add "BuildRequires: byacc"
* Fri Jan 10 2003 Lenny Cartier <lenny@mandrakesoft.com> 1.0_b33-1mdk
  - 1.0_b33
* Sat Feb 02 2002 Pixel <pixel@mandrakesoft.com> 1.0_b31-15mdk
  - new version
  - add "Url"
* Thu Oct 11 2001 Pixel <pixel@mandrakesoft.com> 1.0_b29-15mdk
  - s/Copyright/License/
* Mon Jul 02 2001 Pixel <pixel@mandrakesoft.com> 1.0_b29-14mdk
  - fix description
* Wed Aug 23 2000 Pixel <pixel@mandrakesoft.com> 1.0_b29-13mdk
  - add packager field
* Tue Aug 01 2000 Chmouel Boudjnah <chmouel@mandrakesoft.com> 1.0_b29-12mdk
  - Fix post scripts.
* Tue Jul 25 2000 Pixel <pixel@mandrakesoft.com> 1.0_b29-11mdk
  - remove menu (no icon)
* Fri Jul 21 2000 Pixel <pixel@mandrakesoft.com> 1.0_b29-10mdk
  - clean up, macroization, BM
* Mon May 15 2000 Pixel <pixel@mandrakesoft.com> 1.0_b29-9mdk
  - add exclusive arch
* Sun Apr 16 2000 Pixel <pixel@mandrakesoft.com> 1.0_b29-8mdk
  - new group
* Tue Apr 11 2000 Pixel <pixel@mandrakesoft.com> 1.0_b29-7mdk
  - update-menus in postun not preun
* Mon Apr 03 2000 Pixel <pixel@mandrakesoft.com> 1.0_b29-6mdk
  - *really* add menu
* Tue Mar 28 2000 Pixel <pixel@mandrakesoft.com> 1.0_b29-5mdk
  - really add menu
* Tue Mar 28 2000 Pixel <pixel@mandrakesoft.com> 1.0_b29-4mdk
  - add menu
* Tue Mar 28 2000 Enzo Maggi <enzo@mandrakesoft.com> 1.0_b29-3mdk
  - changed group, re-packaged
* Thu Jan 20 2000 Pixel <pixel@mandrakesoft.com>
  - fixed buggy % post
* Thu Jan 20 2000 Pixel <pixel@mandrakesoft.com>
  - initial spec

Files

/usr/bin/teyjus
/usr/bin/tjcc
/usr/bin/tjdis
/usr/bin/tjsim
/usr/share/doc/teyjus-1.0_b33
/usr/share/doc/teyjus-1.0_b33/examples
/usr/share/doc/teyjus-1.0_b33/examples/handbook
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/README
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hc_interp.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hc_interp.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hc_syntax.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hc_syntax.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcinterp_examples.dis
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcinterp_examples.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcinterp_examples.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcsyntax_examples.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcsyntax_examples.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/logic_basic.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/logic_types.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/logic_vocab.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/pnf.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/pnf.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/pnf_examples.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/pnf_examples.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/refl_syntax.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/refl_syntax.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/script1
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/script2
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/script3
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/README
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/curry_test.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/curry_test.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/curry_transform.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/curry_transform.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval_basic.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval_basic.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval_examples.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval_examples.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/fp_types.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/fp_vocab.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/general_tr.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/general_tr.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/refl_syntax.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/refl_syntax.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/script1
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/script2
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/script3
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/script4
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/terms.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/terms.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr1_test.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr1_test.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr2_test.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr2_test.sig
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr_recognizer.mod
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr_recognizer.sig
/usr/share/doc/teyjus-1.0_b33/examples/misc
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm11.mod
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm11.sig
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm12.mod
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm12.sig
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm21.mod
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm21.sig
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm22.mod
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm22.sig
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm3.mod
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm3.sig
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm41.mod
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm41.sig
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm42.mod
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm42.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/README
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/formulas.mod
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/formulas.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/goalred.mod
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/goalred.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/goaltypes.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/inter.mod
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/inter.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/listmanip.mod
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/listmanip.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/logic.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/ndproofs.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/ndtac.mod
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/ndtac.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/nonlogical.sig
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/printfile
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/script
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/tacticals.mod
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/tacticals.sig
/usr/share/doc/teyjus-1.0_b33/examples/utility
/usr/share/doc/teyjus-1.0_b33/examples/utility/assoc.mod
/usr/share/doc/teyjus-1.0_b33/examples/utility/assoc.sig
/usr/share/doc/teyjus-1.0_b33/examples/utility/assoclists.mod
/usr/share/doc/teyjus-1.0_b33/examples/utility/assoclists.sig
/usr/share/doc/teyjus-1.0_b33/examples/utility/funs.mod
/usr/share/doc/teyjus-1.0_b33/examples/utility/funs.sig
/usr/share/doc/teyjus-1.0_b33/examples/utility/lists.mod
/usr/share/doc/teyjus-1.0_b33/examples/utility/lists.sig
/usr/share/doc/teyjus-1.0_b33/examples/utility/lists2.mod
/usr/share/doc/teyjus-1.0_b33/examples/utility/lists2.sig
/usr/share/doc/teyjus-1.0_b33/examples/utility/maps.mod
/usr/share/doc/teyjus-1.0_b33/examples/utility/maps.sig
/usr/share/doc/teyjus-1.0_b33/examples/utility/reverse.mod
/usr/share/doc/teyjus-1.0_b33/examples/utility/reverse.sig
/usr/share/info/teyjus.info.bz2
/usr/share/info/teyjus_impl.info.bz2


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Nov 10 07:42:56 2014