Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: prologs 0.1-3

Package Actions

Git Clone URL:	https://aur.archlinux.org/prologs.git (read-only, click to copy)
Package Base:	prologs
Description:	Test your Prolog program against different engines
Upstream URL:	https://github.com/hurufu/prolog-all
Keywords:	prolog
Submitter:	hurufu
Maintainer:	hurufu
Last Packager:	hurufu
Votes:	0
Popularity:	0.000000
First Submitted:	2024-10-13 22:17 (UTC)
Last Updated:	2024-12-14 18:45 (UTC)

Dependencies (17)

make (make-git^AUR)
binprolog^AUR (optional)
bprolog^AUR (optional)
ciao-lang^AUR (optional)
cs-prolog^AUR (optional)
dogelog^AUR (optional)
eclipse-clp^AUR (optional)
gprolog^AUR (optional)
poplog-git^AUR (optional)
remake (remake-git^AUR) (optional) – For time profiling
scryer-prolog^AUR (optional)
swi-prolog (swi-prolog-git^AUR, swi-prolog-devel^AUR) (optional)
tau-prolog^AUR (optional)
trealla^AUR (optional)
tuprolog-repl^AUR (optional)
xsb-prolog^AUR (optional)
yap^AUR (optional)

Required by (0)

Sources (1)

git+https://github.com/hurufu/prolog-all.git