cu-prolog for linux

Main Menu

Linux software Linux Documentation Linux Themes Search Linux

Linux Documentation

Linux FAQ Linux guides How-to Mini How-to Translated docs

Last updated...

yawm Has title bars, iconizing, maximizing, taskbar, placement, clock

xmonad-contrib Third party tiling algorithms, configurations and scripts to xmonad

xmonad Xmonad is a minimalist and tiling window manager for X

xfce4-wm XFce 4 window manager

xfce4-session Session manager for the Xfce 4 desktop environment

xfce4-panel XFce 4 panel module

xfce4-desktop XFce 4 desktop background manager and root menu

xfce4 The "meta-port" for the XFce 4 desktop environment

xfce CDE like desktop with GTK

xcompmgr A sample X compositing manager

lang : cu-prolog

Experimental constraint logic programming language

cu-Prolog is an experimental constraint logic programming language. Unlike most conventional CLP systems, cu-Prolog allows user-defined predicates as constraints and is suitable for implementing a natural language processing system based on the unification-based grammar. As an application of cu-Prolog, we developed a JPSG (Japanese Phrase Structure Grammar) parser with the JPSG Working Group (the chairman is Prof. GUNJI, Takao of Osaka University) at ICOT. cu-Prolog is also the complete implementation of the constraint unification and its name (cu) comes from the technique.

ftp://ftp.icot.or.jp/ifs/kbms-clp/unix/cuprolog/

Version number : 3.94

Md5 : MD5 (cupsrc.tar.gz) = 62b23ee48045d09579ab42ef62876d58 SHA256 (cupsrc.tar.gz) = 5110723a4b93d1e103cf3a71da6ca3c56ee0da3f5bb0a7f74ba66861dbd85587 SIZE (cupsrc.tar.gz) = 211847 MD5 (cupdoc.tar.gz) = 954f59489bb70bda5140118f1c5425d5 SHA256 (cupdoc.tar.gz) = 5e7d1287f1b06e5e4f168012dc03e9604a562495198e0c167ce832f5ed3c3302 SIZE (cupdoc.tar.gz) = 136474