| Name : swipl
| |
| Version : 7.1.28
| Vendor : obs://build_opensuse_org/home:twotaps
|
| Release : 2.1
| Date : 2015-01-09 23:11:55
|
| Group : Development/Languages/Other
| Source RPM : swipl-7.1.28-2.1.src.rpm
|
| Size : 28.80 MB
| |
| Packager : (none)
| |
| Summary : SWI-Prolog, comprehensive free Prolog environment
|
Description :
SWI-Prolog positions itself primarily as a Prolog environment for
programming in the large and use cases where it plays a central role
in an application, i.e., where it acts as glue between components.
At the same time, SWI-Prolog aims at providing a productive rapid
prototyping environment.
Its orientation towards programming in the large is backed up by scalability,
compiler speed, program structuring (modules), support for multithreading
to accommodate servers, Unicode and interfaces to a large number of document
formats, protocols and programming languages. Prototyping is facilitated
by good development tools, both for command line usage as for usage
with graphical development tools. Demand loading of predicates
from the library and a make facility avoids the requirement
for using declarations and reduces typing.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/twotaps:/branches:/home:/radekmi/openSUSE_13.1/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
archive4pl.so()(64bit)
cgi.so()(64bit)
crypt.so()(64bit)
double_metaphone.so()(64bit)
files.so()(64bit)
http_stream.so()(64bit)
isub.so()(64bit)
json.so()(64bit)
libswipl.so.7.1.28()(64bit)
memfile.so()(64bit)
mime.so()(64bit)
ntriples.so()(64bit)
odbc4pl.so()(64bit)
pdt_console.so()(64bit)
pkgconfig(swipl)
pl2xpce.so()(64bit)
porter_stem.so()(64bit)
process.so()(64bit)
protobufs.so()(64bit)
rdf_db.so()(64bit)
readutil.so()(64bit)
rlimit.so()(64bit)
sgml2pl.so()(64bit)
sha4pl.so()(64bit)
snowball.so()(64bit)
socket.so()(64bit)
ssl4pl.so()(64bit)
streaminfo.so()(64bit)
swipl
swipl(x86-64)
syslog.so()(64bit)
table.so()(64bit)
time.so()(64bit)
tipc.so()(64bit)
turtle.so()(64bit)
uid.so()(64bit)
unicode4pl.so()(64bit)
unix.so()(64bit)
uri.so()(64bit)
websocket.so()(64bit)
zlib4pl.so()(64bit)
Requires :
