FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

We also have a status page: https://freshports.wordpress.com/

Port details
yap-devel High-performance Prolog compiler
6.3.3_8 lang on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: danilo@FreeBSD.org search for ports maintained by this maintainer
Port Added: 10 Oct 2013 14:08:16
License: ART20 LGPL3
YAP is a high-performance Prolog compiler developed at
LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog
engine is based in the WAM (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.

WWW: http://www.dcc.fc.up.pt/~vsc/Yap/
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (733 items)
  1. /usr/local/share/licenses/yap-devel-6.3.3_8/catalog.mk
  2. /usr/local/share/licenses/yap-devel-6.3.3_8/LICENSE
  3. /usr/local/share/licenses/yap-devel-6.3.3_8/ART20
  4. /usr/local/share/licenses/yap-devel-6.3.3_8/LGPL3
  5. bin/yap
  6. include/Yap/SWI-Prolog.h
  7. include/Yap/SWI-Stream.h
  8. include/Yap/Tags_24bits.h
  9. include/Yap/Tags_32LowTag.h
  10. include/Yap/Tags_32Ops.h
  11. include/Yap/Tags_32bits.h
  12. include/Yap/Tags_64bits.h
  13. include/Yap/TermExt.h
  14. include/Yap/YapCompoundTerm.h
  15. include/Yap/YapInterface.h
  16. include/Yap/YapRegs.h
  17. include/Yap/YapTags.h
  18. include/Yap/YapTerm.h
  19. include/Yap/YapTermConfig.h
  20. include/Yap/bprolog.h
  21. include/Yap/c_interface.h
  22. include/Yap/clause_list.h
  23. include/Yap/dswiatoms.h
  24. include/Yap/dtoa.c
  25. include/Yap/pl-buffer.h
  26. include/Yap/pl-codelist.h
  27. include/Yap/pl-ctype.h
  28. include/Yap/pl-dtoa.h
  29. include/Yap/pl-global.h
  30. include/Yap/pl-incl.h
  31. include/Yap/pl-option.h
  32. include/Yap/pl-os.h
  33. include/Yap/pl-privitf.h
  34. include/Yap/pl-table.h
  35. include/Yap/pl-text.h
  36. include/Yap/pl-thread.h
  37. include/Yap/pl-utf8.h
  38. include/Yap/pl-yap.h
  39. include/Yap/src/Atoms.h
  40. include/Yap/src/Regs.h
  41. include/Yap/src/Yap.h
  42. include/Yap/src/YapHeap.h
  43. include/Yap/src/Yapproto.h
  44. include/Yap/src/Yatom.h
  45. include/Yap/src/absmi.h
  46. include/Yap/src/alloc.h
  47. include/Yap/src/amidefs.h
  48. include/Yap/src/amiops.h
  49. include/Yap/src/arith2.h
  50. include/Yap/src/arrays.h
  51. include/Yap/src/attvar.h
  52. include/Yap/src/clause.h
  53. include/Yap/src/compile.h
  54. include/Yap/src/config.h
  55. include/Yap/src/corout.h
  56. include/Yap/src/cut_c.h
  57. include/Yap/src/dglobals.h
  58. include/Yap/src/dhstruct.h
  59. include/Yap/src/dlmalloc.h
  60. include/Yap/src/dlocals.h
  61. include/Yap/src/eam.h
  62. include/Yap/src/eamamasm.h
  63. include/Yap/src/eval.h
  64. include/Yap/src/heapgc.h
  65. include/Yap/src/hglobals.h
  66. include/Yap/src/hlocals.h
  67. include/Yap/src/hstruct.h
  68. include/Yap/src/iatoms.h
  69. include/Yap/src/iglobals.h
  70. include/Yap/src/ihstruct.h
  71. include/Yap/src/ilocals.h
  72. include/Yap/src/index.h
  73. include/Yap/src/inline-only.h
  74. include/Yap/src/iopreds.h
  75. include/Yap/src/iswiatoms.h
  76. include/Yap/src/locks_alpha.h
  77. include/Yap/src/locks_alpha_funcs.h
  78. include/Yap/src/locks_mips.h
  79. include/Yap/src/locks_mips_funcs.h
  80. include/Yap/src/locks_pthread.h
  81. include/Yap/src/locks_sparc.h
  82. include/Yap/src/locks_x86.h
  83. include/Yap/src/myddas.h
  84. include/Yap/src/myddas_statistics.h
  85. include/Yap/src/myddas_statistics_structs.h
  86. include/Yap/src/myddas_structs.h
  87. include/Yap/src/myddas_wkb.h
  88. include/Yap/src/myddas_wkb2prolog.h
  89. include/Yap/src/opt.config.h
  90. include/Yap/src/opt.macros.h
  91. include/Yap/src/opt.proto.h
  92. include/Yap/src/opt.structs.h
  93. include/Yap/src/or.macros.h
  94. include/Yap/src/or.sba_amiops.h
  95. include/Yap/src/or.sba_unify.h
  96. include/Yap/src/parms.h
  97. include/Yap/src/qly.h
  98. include/Yap/src/ratoms.h
  99. include/Yap/src/rclause.h
  100. include/Yap/src/rglobals.h
  101. include/Yap/src/rheap.h
  102. include/Yap/src/rhstruct.h
  103. include/Yap/src/rlocals.h
  104. include/Yap/src/sshift.h
  105. include/Yap/src/swi.h
  106. include/Yap/src/tab.structs.h
  107. include/Yap/src/tatoms.h
  108. include/Yap/src/threads.h
  109. include/Yap/src/tracer.h
  110. include/Yap/src/trim_trail.h
  111. include/Yap/src/yapio.h
  112. include/Yap/udi.h
  113. include/Yap/yap_structs.h
  114. lib/Yap/archive4pl.so
  115. lib/Yap/cgi.so
  116. lib/Yap/files.so
  117. lib/Yap/http_stream.so
  118. lib/Yap/itries.so
  119. lib/Yap/json.so
  120. lib/Yap/matrix.so
  121. lib/Yap/memfile.so
  122. lib/Yap/mime.so
  123. lib/Yap/pl-minisat.so
  124. lib/Yap/prism.so
  125. lib/Yap/process.so
  126. lib/Yap/rdf_db.so
  127. lib/Yap/readutil.so
  128. lib/Yap/regexp.so
  129. lib/Yap/sgml2pl.so
  130. lib/Yap/sha4pl.so
  131. lib/Yap/socket.so
  132. lib/Yap/startup.yss
  133. lib/Yap/streaminfo.so
  134. lib/Yap/sys.so
  135. lib/Yap/time.so
  136. lib/Yap/tries.so
  137. lib/Yap/turtle.so
  138. lib/Yap/uid.so
  139. lib/Yap/unix.so
  140. lib/Yap/uri.so
  141. lib/Yap/yap_random.so
  142. lib/Yap/yap_rl.so
  143. lib/Yap/zlib4pl.so
  144. lib/libYap.a
  145. share/Yap/DTD/HTML4.dcl
  146. share/Yap/DTD/HTML4.dtd
  147. share/Yap/DTD/HTML4.soc
  148. share/Yap/DTD/HTMLlat1.ent
  149. share/Yap/DTD/HTMLspec.ent
  150. share/Yap/DTD/HTMLsym.ent
  151. share/Yap/INDEX.pl
  152. share/Yap/R.pl
  153. share/Yap/aggregate.pl
  154. share/Yap/apply.yap
  155. share/Yap/apply_macros.yap
  156. share/Yap/aproblog.yap
  157. share/Yap/archive.pl
  158. share/Yap/arg.yap
  159. share/Yap/assoc.yap
  160. share/Yap/atts.yap
  161. share/Yap/autoloader.yap
  162. share/Yap/avl.yap
  163. share/Yap/base64.pl
  164. share/Yap/bhash.yap
  165. share/Yap/block_diagram.yap
  166. share/Yap/broadcast.pl
  167. share/Yap/c_alarms.yap
  168. share/Yap/cgi.pl
  169. share/Yap/charsio.yap
  170. share/Yap/chr.pl
  171. share/Yap/chr/README
  172. share/Yap/chr/a_star.pl
  173. share/Yap/chr/binomialheap.pl
  174. share/Yap/chr/builtins.pl
  175. share/Yap/chr/chr_compiler_errors.pl
  176. share/Yap/chr/chr_compiler_options.pl
  177. share/Yap/chr/chr_compiler_utility.pl
  178. share/Yap/chr/chr_debug.pl
  179. share/Yap/chr/chr_hashtable_store.pl
  180. share/Yap/chr/chr_integertable_store.pl
  181. share/Yap/chr/chr_messages.pl
  182. share/Yap/chr/chr_op.pl
  183. share/Yap/chr/chr_runtime.pl
  184. share/Yap/chr/chr_translate.pl
  185. share/Yap/chr/clean_code.pl
  186. share/Yap/chr/find.pl
  187. share/Yap/chr/guard_entailment.pl
  188. share/Yap/chr/listmap.pl
  189. share/Yap/chr/pairlist.pl
  190. share/Yap/clp/clp_events.pl
  191. share/Yap/clpbn.yap
  192. share/Yap/clpbn/aggregates.yap
  193. share/Yap/clpbn/bdd.yap
  194. share/Yap/clpbn/bnt.yap
  195. share/Yap/clpbn/connected.yap
  196. share/Yap/clpbn/discrete_utils.yap
  197. share/Yap/clpbn/display.yap
  198. share/Yap/clpbn/dists.yap
  199. share/Yap/clpbn/evidence.yap
  200. share/Yap/clpbn/gibbs.yap
  201. share/Yap/clpbn/graphs.yap
  202. share/Yap/clpbn/graphviz.yap
  203. share/Yap/clpbn/ground_factors.yap
  204. share/Yap/clpbn/hmm.yap
  205. share/Yap/clpbn/horus.yap
  206. share/Yap/clpbn/horus_ground.yap
  207. share/Yap/clpbn/horus_lifted.yap
  208. share/Yap/clpbn/jt.yap
  209. share/Yap/clpbn/learning/aleph_params.yap
  210. share/Yap/clpbn/learning/bnt_parms.yap
  211. share/Yap/clpbn/learning/em.yap
  212. share/Yap/clpbn/learning/learn_utils.yap
  213. share/Yap/clpbn/learning/mle.yap
  214. share/Yap/clpbn/matrix_cpt_utils.yap
  215. share/Yap/clpbn/numbers.yap
  216. share/Yap/clpbn/pgrammar.yap
  217. share/Yap/clpbn/table.yap
  218. share/Yap/clpbn/topsort.yap
  219. share/Yap/clpbn/utils.yap
  220. share/Yap/clpbn/ve.yap
  221. share/Yap/clpbn/viterbi.yap
  222. share/Yap/clpbn/vmap.yap
  223. share/Yap/clpbn/xbif.yap
  224. share/Yap/clpfd.pl
  225. share/Yap/clpq.pl
  226. share/Yap/clpq/bb_q.pl
  227. share/Yap/clpq/bv_q.pl
  228. share/Yap/clpq/fourmotz_q.pl
  229. share/Yap/clpq/ineq_q.pl
  230. share/Yap/clpq/itf_q.pl
  231. share/Yap/clpq/nf_q.pl
  232. share/Yap/clpq/store_q.pl
  233. share/Yap/clpqr/README
  234. share/Yap/clpqr/class.pl
  235. share/Yap/clpqr/dump.pl
  236. share/Yap/clpqr/geler.pl
  237. share/Yap/clpqr/itf.pl
  238. share/Yap/clpqr/ordering.pl
  239. share/Yap/clpqr/project.pl
  240. share/Yap/clpqr/redund.pl
  241. share/Yap/clpr.pl
  242. share/Yap/clpr/bb_r.pl
  243. share/Yap/clpr/bv_r.pl
  244. share/Yap/clpr/fourmotz_r.pl
  245. share/Yap/clpr/ineq_r.pl
  246. share/Yap/clpr/itf_r.pl
  247. share/Yap/clpr/nf_r.pl
  248. share/Yap/clpr/store_r.pl
  249. share/Yap/cnf.pl
  250. share/Yap/coinduction.yap
  251. share/Yap/ctypes.pl
  252. share/Yap/date.pl
  253. share/Yap/dbqueues.yap
  254. share/Yap/dbusage.yap
  255. share/Yap/debug.pl
  256. share/Yap/dgraphs.yap
  257. share/Yap/dialect/bprolog.yap
  258. share/Yap/dialect/bprolog/actionrules.pl
  259. share/Yap/dialect/bprolog/arrays.yap
  260. share/Yap/dialect/bprolog/compile_foreach.pl
  261. share/Yap/dialect/bprolog/foreach.pl
  262. share/Yap/dialect/bprolog/hashtable.yap
  263. share/Yap/dialect/commons.yap
  264. share/Yap/dialect/hprolog.yap
  265. share/Yap/dialect/swi.yap
  266. share/Yap/dialect/swi/INDEX.pl
  267. share/Yap/dialect/swi/listing.pl
  268. share/Yap/dialect/swi/syspred_options.pl
  269. share/Yap/doc_files.pl
  270. share/Yap/doc_http.pl
  271. share/Yap/doc_latex.pl
  272. share/Yap/dtproblog.yap
  273. share/Yap/error.pl
  274. share/Yap/expand_macros.yap
  275. share/Yap/filesex.pl
  276. share/Yap/flags.yap
  277. share/Yap/gensym.yap
  278. share/Yap/hacks.yap
  279. share/Yap/heaps.yap
  280. share/Yap/http/README
  281. share/Yap/http/dcg_basics.pl
  282. share/Yap/http/html_head.pl
  283. share/Yap/http/html_write.pl
  284. share/Yap/http/http_authenticate.pl
  285. share/Yap/http/http_client.pl
  286. share/Yap/http/http_cookie.pl
  287. share/Yap/http/http_cors.pl
  288. share/Yap/http/http_dirindex.pl
  289. share/Yap/http/http_dispatch.pl
  290. share/Yap/http/http_error.pl
  291. share/Yap/http/http_exception.pl
  292. share/Yap/http/http_files.pl
  293. share/Yap/http/http_header.pl
  294. share/Yap/http/http_hook.pl
  295. share/Yap/http/http_host.pl
  296. share/Yap/http/http_json.pl
  297. share/Yap/http/http_log.pl
  298. share/Yap/http/http_mime_plugin.pl
  299. share/Yap/http/http_open.pl
  300. share/Yap/http/http_openid.pl
  301. share/Yap/http/http_parameters.pl
  302. share/Yap/http/http_path.pl
  303. share/Yap/http/http_pwp.pl
  304. share/Yap/http/http_server_files.pl
  305. share/Yap/http/http_session.pl
  306. share/Yap/http/http_sgml_plugin.pl
  307. share/Yap/http/http_stream.pl
  308. share/Yap/http/http_wrapper.pl
  309. share/Yap/http/inetd_httpd.pl
  310. share/Yap/http/js_write.pl
  311. share/Yap/http/json.pl
  312. share/Yap/http/json_convert.pl
  313. share/Yap/http/mimepack.pl
  314. share/Yap/http/mimetype.pl
  315. share/Yap/http/thread_httpd.pl
  316. share/Yap/http/web/css/dirindex.css
  317. share/Yap/http/web/css/openid.css
  318. share/Yap/http/web/icons/back.png
  319. share/Yap/http/web/icons/c.png
  320. share/Yap/http/web/icons/compressed.png
  321. share/Yap/http/web/icons/folder.png
  322. share/Yap/http/web/icons/generic.png
  323. share/Yap/http/web/icons/layout.png
  324. share/Yap/http/web/icons/openid-logo-square.png
  325. share/Yap/http/web/icons/openid-logo-tiny.png
  326. share/Yap/http/xpce_httpd.pl
  327. share/Yap/icon_address.pl
  328. share/Yap/iso_639.pl
  329. share/Yap/itries.yap
  330. share/Yap/lam_mpi.yap
  331. share/Yap/lambda.pl
  332. share/Yap/lineutils.yap
  333. share/Yap/lists.yap
  334. share/Yap/main.pl
  335. share/Yap/maplist.pl
  336. share/Yap/maplist.yap
  337. share/Yap/matlab.yap
  338. share/Yap/matrix.yap
  339. share/Yap/meld.yap
  340. share/Yap/meld/meldc.yap
  341. share/Yap/meld/meldi.yap
  342. share/Yap/meld/meldp.yap
  343. share/Yap/meld/meldtd.yap
  344. share/Yap/memfile.pl
  345. share/Yap/menu.pl
  346. share/Yap/mime.pl
  347. share/Yap/minisat.pl
  348. share/Yap/nb.yap
  349. share/Yap/nb_set.pl
  350. share/Yap/occurs.yap
  351. share/Yap/odbc.pl
  352. share/Yap/operators.pl
  353. share/Yap/option.pl
  354. share/Yap/ordsets.yap
  355. share/Yap/pairs.pl
  356. share/Yap/pfl.yap
  357. share/Yap/pillow.pl
  358. share/Yap/pl/arith.yap
  359. share/Yap/pl/arrays.yap
  360. share/Yap/pl/attributes.yap
  361. share/Yap/pl/boot.yap
  362. share/Yap/pl/callcount.yap
  363. share/Yap/pl/checker.yap
  364. share/Yap/pl/chtypes.yap
  365. share/Yap/pl/consult.yap
  366. share/Yap/pl/control.yap
  367. share/Yap/pl/corout.yap
  368. share/Yap/pl/dbload.yap
  369. share/Yap/pl/debug.yap
  370. share/Yap/pl/depth_bound.yap
  371. share/Yap/pl/dialect.yap
  372. share/Yap/pl/directives.yap
  373. share/Yap/pl/eam.yap
  374. share/Yap/pl/errors.yap
  375. share/Yap/pl/eval.yap
  376. share/Yap/pl/flags.yap
  377. share/Yap/pl/grammar.yap
  378. share/Yap/pl/ground.yap
  379. share/Yap/pl/hacks.yap
  380. share/Yap/pl/history.pl
  381. share/Yap/pl/init.yap
  382. share/Yap/pl/listing.yap
  383. share/Yap/pl/lists.yap
  384. share/Yap/pl/load_foreign.yap
  385. share/Yap/pl/messages.yap
  386. share/Yap/pl/modules.yap
  387. share/Yap/pl/preds.yap
  388. share/Yap/pl/profile.yap
  389. share/Yap/pl/protect.yap
  390. share/Yap/pl/qly.yap
  391. share/Yap/pl/save.yap
  392. share/Yap/pl/setof.yap
  393. share/Yap/pl/signals.yap
  394. share/Yap/pl/sort.yap
  395. share/Yap/pl/statistics.yap
  396. share/Yap/pl/strict_iso.yap
  397. share/Yap/pl/swi.yap
  398. share/Yap/pl/tabling.yap
  399. share/Yap/pl/threads.yap
  400. share/Yap/pl/udi.yap
  401. share/Yap/pl/utils.yap
  402. share/Yap/pl/yapor.yap
  403. share/Yap/pl/yio.yap
  404. share/Yap/pldoc.pl
  405. share/Yap/pldoc/README
  406. share/Yap/pldoc/doc_access.pl
  407. share/Yap/pldoc/doc_colour.pl
  408. share/Yap/pldoc/doc_html.pl
  409. share/Yap/pldoc/doc_htmlsrc.pl
  410. share/Yap/pldoc/doc_index.pl
  411. share/Yap/pldoc/doc_library.pl
  412. share/Yap/pldoc/doc_man.pl
  413. share/Yap/pldoc/doc_modes.pl
  414. share/Yap/pldoc/doc_pack.pl
  415. share/Yap/pldoc/doc_process.pl
  416. share/Yap/pldoc/doc_register.pl
  417. share/Yap/pldoc/doc_search.pl
  418. share/Yap/pldoc/doc_util.pl
  419. share/Yap/pldoc/doc_wiki.pl
  420. share/Yap/pldoc/edit.gif
  421. share/Yap/pldoc/favicon.ico
  422. share/Yap/pldoc/h1-bg.png
  423. share/Yap/pldoc/h2-bg.png
  424. share/Yap/pldoc/hooks.pl
  425. share/Yap/pldoc/multi-bg.png
  426. share/Yap/pldoc/pldoc.css
  427. share/Yap/pldoc/pldoc.js
  428. share/Yap/pldoc/pldoc.sty
  429. share/Yap/pldoc/pllisting.css
  430. share/Yap/pldoc/priv-bg.png
  431. share/Yap/pldoc/private.png
  432. share/Yap/pldoc/pub-bg.png
  433. share/Yap/pldoc/public.png
  434. share/Yap/pldoc/reload.gif
  435. share/Yap/pldoc/source.png
  436. share/Yap/pldoc/up.gif
  437. share/Yap/plunit.pl
  438. share/Yap/prandom.yap
  439. share/Yap/predicate_options.pl
  440. share/Yap/predopts.pl
  441. share/Yap/prism.yap
  442. share/Yap/prism/bp/eval.pl
  443. share/Yap/prism/core/error.pl
  444. share/Yap/prism/core/format.pl
  445. share/Yap/prism/core/message.pl
  446. share/Yap/prism/core/random.pl
  447. share/Yap/prism/mp/mp_learn.pl
  448. share/Yap/prism/mp/mp_main.pl
  449. share/Yap/prism/trans/bpif.pl
  450. share/Yap/prism/trans/dump.pl
  451. share/Yap/prism/trans/trans.pl
  452. share/Yap/prism/trans/verify.pl
  453. share/Yap/prism/up/batch.pl
  454. share/Yap/prism/up/bigarray.pl
  455. share/Yap/prism/up/dist.pl
  456. share/Yap/prism/up/dynamic.pl
  457. share/Yap/prism/up/expl.pl
  458. share/Yap/prism/up/flags.pl
  459. share/Yap/prism/up/hash.pl
  460. share/Yap/prism/up/hindsight.pl
  461. share/Yap/prism/up/learn.pl
  462. share/Yap/prism/up/list.pl
  463. share/Yap/prism/up/main.pl
  464. share/Yap/prism/up/prob.pl
  465. share/Yap/prism/up/sample.pl
  466. share/Yap/prism/up/switch.pl
  467. share/Yap/prism/up/util.pl
  468. share/Yap/prism/up/viterbi.pl
  469. share/Yap/problog.yap
  470. share/Yap/problog/ad_converter.yap
  471. share/Yap/problog/bdd.yap
  472. share/Yap/problog/completion.yap
  473. share/Yap/problog/discrete.yap
  474. share/Yap/problog/extlists.yap
  475. share/Yap/problog/flags.yap
  476. share/Yap/problog/gflags.yap
  477. share/Yap/problog/grounder.yap
  478. share/Yap/problog/hash_table.yap
  479. share/Yap/problog/intervals.yap
  480. share/Yap/problog/logger.yap
  481. share/Yap/problog/mc_DNF_sampling.yap
  482. share/Yap/problog/nestedtries.yap
  483. share/Yap/problog/os.yap
  484. share/Yap/problog/print.yap
  485. share/Yap/problog/print_learning.yap
  486. share/Yap/problog/ptree.yap
  487. share/Yap/problog/sampling.yap
  488. share/Yap/problog/tabling.yap
  489. share/Yap/problog/termhandling.yap
  490. share/Yap/problog/timer.yap
  491. share/Yap/problog/utils.yap
  492. share/Yap/problog/utils_lbdd.yap
  493. share/Yap/problog/utils_learning.yap
  494. share/Yap/problog/variable_elimination.yap
  495. share/Yap/problog/variables.yap
  496. share/Yap/problog/version_control.yap
  497. share/Yap/problog_lbdd.yap
  498. share/Yap/problog_learning.yap
  499. share/Yap/problog_learning_lbdd.yap
  500. share/Yap/problog_lfi.yap
  501. share/Yap/process.pl
  502. share/Yap/prolog_clause.pl
  503. share/Yap/prolog_colour.pl
  504. share/Yap/prolog_server.pl
  505. share/Yap/prolog_source.pl
  506. share/Yap/prolog_xref.pl
  507. share/Yap/pwp.pl
  508. share/Yap/queues.yap
  509. share/Yap/quintus.pl
  510. share/Yap/r_session.yap
  511. share/Yap/random.yap
  512. share/Yap/range.yap
  513. share/Yap/rbtrees.yap
  514. share/Yap/rdf.pl
  515. share/Yap/rdf_ntriples.pl
  516. share/Yap/rdf_parser.pl
  517. share/Yap/rdf_triple.pl
  518. share/Yap/rdf_write.pl
  519. share/Yap/readutil.pl
  520. share/Yap/record.pl
  521. share/Yap/regexp.yap
  522. share/Yap/rewrite.pl
  523. share/Yap/rltree.yap
  524. share/Yap/semweb/README
  525. share/Yap/semweb/dc.rdfs
  526. share/Yap/semweb/eor.rdfs
  527. share/Yap/semweb/owl.owl
  528. share/Yap/semweb/rdf_cache.pl
  529. share/Yap/semweb/rdf_compare.pl
  530. share/Yap/semweb/rdf_db.pl
  531. share/Yap/semweb/rdf_edit.pl
  532. share/Yap/semweb/rdf_http_plugin.pl
  533. share/Yap/semweb/rdf_library.pl
  534. share/Yap/semweb/rdf_library.ttl
  535. share/Yap/semweb/rdf_litindex.pl
  536. share/Yap/semweb/rdf_persistency.pl
  537. share/Yap/semweb/rdf_portray.pl
  538. share/Yap/semweb/rdf_turtle.pl
  539. share/Yap/semweb/rdf_turtle_write.pl
  540. share/Yap/semweb/rdf_zlib_plugin.pl
  541. share/Yap/semweb/rdfs.pl
  542. share/Yap/semweb/rdfs.rdfs
  543. share/Yap/semweb/sparql_client.pl
  544. share/Yap/semweb/turtle_base.pl
  545. share/Yap/settings.pl
  546. share/Yap/sgml.pl
  547. share/Yap/sgml_write.pl
  548. share/Yap/sha.pl
  549. share/Yap/shlib.pl
  550. share/Yap/socket.pl
  551. share/Yap/sockets.yap
  552. share/Yap/splay.yap
  553. share/Yap/streaminfo.pl
  554. share/Yap/stringutils.yap
  555. share/Yap/system.yap
  556. share/Yap/terms.yap
  557. share/Yap/test_cover.pl
  558. share/Yap/test_wizard.pl
  559. share/Yap/thread_pool.pl
  560. share/Yap/time.pl
  561. share/Yap/timeout.yap
  562. share/Yap/trees.yap
  563. share/Yap/tries.yap
  564. share/Yap/udp_broadcast.pl
  565. share/Yap/ugraphs.yap
  566. share/Yap/uid.pl
  567. share/Yap/undgraphs.yap
  568. share/Yap/unix.pl
  569. share/Yap/uri.pl
  570. share/Yap/url.pl
  571. share/Yap/utf8.pl
  572. share/Yap/varnumbers.yap
  573. share/Yap/wdgraphs.yap
  574. share/Yap/wgraphs.yap
  575. share/Yap/win_menu.pl
  576. share/Yap/wundgraphs.yap
  577. share/Yap/www_browser.pl
  578. share/Yap/xml.pl
  579. share/Yap/xml/xml.iso.pl
  580. share/Yap/xml/xml_acquisition.pl
  581. share/Yap/xml/xml_diagnosis.pl
  582. share/Yap/xml/xml_driver.pl
  583. share/Yap/xml/xml_generation.pl
  584. share/Yap/xml/xml_pp.pl
  585. share/Yap/xml/xml_utilities.pl
  586. share/Yap/xpath.pl
  587. share/Yap/xsdp_types.pl
  588. share/Yap/ypp.yap
  589. share/Yap/zlib.pl
  590. @comment lib/Yap/odbc4pl.so
  591. @comment share/Yap/myddas.yap
  592. @comment share/Yap/myddas_assert_predicates.yap
  593. @comment share/Yap/myddas_errors.yap
  594. @comment share/Yap/myddas_mysql.yap
  595. @comment share/Yap/myddas_prolog2sql.yap
  596. @comment share/Yap/myddas_prolog2sql_optimizer.yap
  597. @comment share/Yap/myddas_top_level.yap
  598. @comment share/Yap/myddas_util_predicates.yap
  599. share/doc/Yap/Artistic
  600. share/doc/Yap/COPYING
  601. share/doc/Yap/README
  602. share/doc/Yap/changes-5.0.html
  603. share/doc/Yap/changes-5.1.html
  604. share/doc/Yap/changes-6.0.html
  605. share/doc/Yap/changes4.3.html
  606. share/doc/Yap/packages/examples/CLPBN/HMMer/Artemia.fa
  607. share/doc/Yap/packages/examples/CLPBN/HMMer/fasta.yap
  608. share/doc/Yap/packages/examples/CLPBN/HMMer/globin.hmm
  609. share/doc/Yap/packages/examples/CLPBN/HMMer/globin.yap
  610. share/doc/Yap/packages/examples/CLPBN/HMMer/plan7.yap
  611. share/doc/Yap/packages/examples/CLPBN/HMMer/scan.yap
  612. share/doc/Yap/packages/examples/CLPBN/HMMer/score.yap
  613. share/doc/Yap/packages/examples/CLPBN/School/README
  614. share/doc/Yap/packages/examples/CLPBN/School/evidence_128.yap
  615. share/doc/Yap/packages/examples/CLPBN/School/parschema.pfl
  616. share/doc/Yap/packages/examples/CLPBN/School/school_128.yap
  617. share/doc/Yap/packages/examples/CLPBN/School/school_32.yap
  618. share/doc/Yap/packages/examples/CLPBN/School/school_64.yap
  619. share/doc/Yap/packages/examples/CLPBN/School/tables.yap
  620. share/doc/Yap/packages/examples/CLPBN/burglary-alarm.fg
  621. share/doc/Yap/packages/examples/CLPBN/burglary-alarm.pfl
  622. share/doc/Yap/packages/examples/CLPBN/burglary-alarm.uai
  623. share/doc/Yap/packages/examples/CLPBN/city.pfl
  624. share/doc/Yap/packages/examples/CLPBN/comp_workshops.pfl
  625. share/doc/Yap/packages/examples/CLPBN/learning/debug_school.yap
  626. share/doc/Yap/packages/examples/CLPBN/learning/prof_params.pfl
  627. share/doc/Yap/packages/examples/CLPBN/learning/school_params.yap
  628. share/doc/Yap/packages/examples/CLPBN/learning/sprinkler_params.yap
  629. share/doc/Yap/packages/examples/CLPBN/learning/train.yap
  630. share/doc/Yap/packages/examples/CLPBN/social_network1.pfl
  631. share/doc/Yap/packages/examples/CLPBN/social_network2.pfl
  632. share/doc/Yap/packages/examples/CLPBN/sprinkler.pfl
  633. share/doc/Yap/packages/examples/CLPBN/workshop_attrs.pfl
  634. share/doc/Yap/packages/examples/R/r_demo.pl
  635. share/doc/Yap/packages/examples/chr/bool.chr
  636. share/doc/Yap/packages/examples/chr/chrdif.chr
  637. share/doc/Yap/packages/examples/chr/chrfreeze.chr
  638. share/doc/Yap/packages/examples/chr/family.chr
  639. share/doc/Yap/packages/examples/chr/fib.chr
  640. share/doc/Yap/packages/examples/chr/fibonacci.chr
  641. share/doc/Yap/packages/examples/chr/gcd.chr
  642. share/doc/Yap/packages/examples/chr/leq.chr
  643. share/doc/Yap/packages/examples/chr/listdom.chr
  644. share/doc/Yap/packages/examples/chr/primes.chr
  645. share/doc/Yap/packages/examples/http/calc.pl
  646. share/doc/Yap/packages/examples/http/demo_body.pl
  647. share/doc/Yap/packages/examples/http/demo_client.pl
  648. share/doc/Yap/packages/examples/http/demo_files.pl
  649. share/doc/Yap/packages/examples/http/demo_inetd
  650. share/doc/Yap/packages/examples/http/demo_openid.pl
  651. share/doc/Yap/packages/examples/http/demo_pwp.pl
  652. share/doc/Yap/packages/examples/http/demo_threads.pl
  653. share/doc/Yap/packages/examples/http/demo_xpce.pl
  654. share/doc/Yap/packages/examples/http/pwp/context.pwp
  655. share/doc/Yap/packages/examples/http/pwp/index.pwp
  656. share/doc/Yap/packages/examples/http/pwp/pwp1.pwp
  657. share/doc/Yap/packages/examples/http/pwp/pwp2.pwp
  658. share/doc/Yap/packages/examples/http/pwp/pwp3.pwp
  659. share/doc/Yap/packages/examples/http/pwp/pwp4.pwp
  660. share/doc/Yap/packages/examples/http/pwp/pwp5.pwp
  661. share/doc/Yap/packages/examples/http/pwp/pwp6.pwp
  662. share/doc/Yap/packages/examples/http/pwp/pwp7.pwp
  663. share/doc/Yap/packages/examples/http/pwp/pwp8.pwp
  664. share/doc/Yap/packages/examples/http/pwp/pwpdb.pl
  665. share/doc/Yap/packages/examples/meld/graph0.meld
  666. share/doc/Yap/packages/examples/meld/graph1.meld
  667. share/doc/Yap/packages/examples/meld/graph2.meld
  668. share/doc/Yap/packages/examples/meld/graph3.meld
  669. share/doc/Yap/packages/examples/meld/maxtemp.meld
  670. share/doc/Yap/packages/examples/meld/pagerank.meld
  671. share/doc/Yap/packages/examples/minisat/adder.pl
  672. share/doc/Yap/packages/examples/minisat/pearl_examples.pl
  673. share/doc/Yap/packages/examples/pldoc/README
  674. share/doc/Yap/packages/examples/pldoc/man_server.pl
  675. share/doc/Yap/packages/examples/plunit/read.pl
  676. share/doc/Yap/packages/examples/plunit/simple.pl
  677. share/doc/Yap/packages/examples/prism/README
  678. share/doc/Yap/packages/examples/prism/alarm.psm
  679. share/doc/Yap/packages/examples/prism/alarm.psm.out
  680. share/doc/Yap/packages/examples/prism/bloodABO.psm
  681. share/doc/Yap/packages/examples/prism/bloodAaBb.psm
  682. share/doc/Yap/packages/examples/prism/bloodtype.dat
  683. share/doc/Yap/packages/examples/prism/dcoin.psm
  684. share/doc/Yap/packages/examples/prism/direction.psm
  685. share/doc/Yap/packages/examples/prism/hmm.psm
  686. share/doc/Yap/packages/examples/prism/jtree/README
  687. share/doc/Yap/packages/examples/prism/jtree/asia.psm
  688. share/doc/Yap/packages/examples/prism/jtree/jasia.psm
  689. share/doc/Yap/packages/examples/prism/jtree/jasia_a.psm
  690. share/doc/Yap/packages/examples/prism/noisy_or/README
  691. share/doc/Yap/packages/examples/prism/noisy_or/alarm_nor_basic.psm
  692. share/doc/Yap/packages/examples/prism/noisy_or/alarm_nor_generic.psm
  693. share/doc/Yap/packages/examples/prism/noisy_or/noisy_or.psm
  694. share/doc/Yap/packages/examples/prism/pdcg.psm
  695. share/doc/Yap/packages/examples/prism/pdcg_c.psm
  696. share/doc/Yap/packages/examples/prism/phmm.dat
  697. share/doc/Yap/packages/examples/prism/phmm.psm
  698. share/doc/Yap/packages/examples/prism/plc.dat
  699. share/doc/Yap/packages/examples/prism/plc.psm
  700. share/doc/Yap/packages/examples/prism/plc.psm.out
  701. share/doc/Yap/packages/examples/prism/sbn.psm
  702. share/doc/Yap/packages/examples/prism/votes.psm
  703. share/doc/Yap/packages/examples/problog/aProbLog_examples.pl
  704. share/doc/Yap/packages/examples/problog/alarm.pl
  705. share/doc/Yap/packages/examples/problog/graph.pl
  706. share/doc/Yap/packages/examples/problog/graph_tabled.pl
  707. share/doc/Yap/packages/examples/problog/learn_graph.pl
  708. share/doc/Yap/packages/examples/problog/office.pl
  709. share/doc/Yap/packages/examples/problog/viralmarketing.pl
  710. share/doc/Yap/packages/examples/problog/viralmarketing_tabled.pl
  711. share/doc/Yap/packages/examples/xml/bib.xml
  712. share/doc/Yap/packages/examples/xml/books.xml
  713. share/doc/Yap/packages/examples/xml/misc.pl
  714. share/doc/Yap/packages/examples/xml/prices.xml
  715. share/doc/Yap/packages/examples/xml/q1.xml
  716. share/doc/Yap/packages/examples/xml/q10.xml
  717. share/doc/Yap/packages/examples/xml/q11.xml
  718. share/doc/Yap/packages/examples/xml/q12.xml
  719. share/doc/Yap/packages/examples/xml/q2.xml
  720. share/doc/Yap/packages/examples/xml/q3.xml
  721. share/doc/Yap/packages/examples/xml/q4.xml
  722. share/doc/Yap/packages/examples/xml/q5.xml
  723. share/doc/Yap/packages/examples/xml/q6.xml
  724. share/doc/Yap/packages/examples/xml/q7.xml
  725. share/doc/Yap/packages/examples/xml/q8.xml
  726. share/doc/Yap/packages/examples/xml/q9.xml
  727. share/doc/Yap/packages/examples/xml/reviews.xml
  728. share/doc/Yap/packages/examples/xml/xml_example.pl
  729. share/doc/Yap/packages/problog/LICENSE
  730. share/doc/Yap/yap.html
  731. share/doc/Yap/yap.pdf
  732. @postexec /sbin/ldconfig -m /usr/local/lib
  733. @postunexec /sbin/ldconfig -R
  734. Collapse this list.

To install the port: cd /usr/ports/lang/yap-devel/ && make install clean
To add the package: pkg install yap-devel

PKGNAME: yap-devel

distinfo:

SHA256 (yap-6.3.3.tar.gz) = aee3b449b1669af07a8291ce6e7fb0a9b35e1343e2ab96fadb1a37552397fa78
SIZE (yap-6.3.3.tar.gz) = 7879301


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. texi2html : textproc/texi2html
  2. texi2pdf : print/texinfo
  3. tex.fmt : print/tex-formats
  4. dvips : print/tex-dvipsk
  5. gmake : devel/gmake
Library dependencies:
  1. libgmp.so : math/gmp
  2. libarchive.so.13 : archivers/libarchive
  3. libreadline.so.7 : devel/readline
There are no ports dependent upon this port

Configuration Options
===> The following configuration options are available for yap-devel-6.3.3_8:
     DOCS=on: Build and/or install documentation
     MYDDAS=off: Enable MySQL support
===> Use 'make config' to modify these settings

USES:
gmake libarchive readline shebangfix

Master Sites:
  1. http://www.dcc.fc.up.pt/~vsc/Yap/

Number of commits found: 19

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
10 Sep 2017 20:55:39
Original commit files touched by this commit  6.3.3_8
Revision:449591
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang,
   c++14-lang, c++0x, c11, or gcc-c++11-lib.

PR:		219275
27 Jun 2017 13:46:53
Original commit files touched by this commit  6.3.3_7
Revision:444463
sunpoet search for other commits by this committer
Update devel/readline to 7.0 patch 3

- Bump PORTREVISION for shlib change

Changes:	https://cnswww.cns.cwru.edu/php/chet/readline/CHANGES
		https://lists.gnu.org/archive/html/bug-bash/2016-09/msg00107.html
		https://lists.gnu.org/archive/html/bug-readline/2017-01/msg00002.html
Differential Revision:	https://reviews.freebsd.org/D11172
PR:		219947
Exp-run by:	antoine
01 Apr 2017 15:23:32
Original commit files touched by this commit  6.3.3_6
Revision:437439
gerald search for other commits by this committer
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using using Mk/bsd.octave.mk which in turn has USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
   c++11-lang, c++0x, c11, or gcc-c++11-lib.

PR:		216707
10 Feb 2017 21:05:48
Original commit files touched by this commit  6.3.3_5
Revision:433825
jbeich search for other commits by this committer
lang/yap{,-devel}: use clang and unbreak with gcc5 or later

In file included from ./Solver.C:20:
In file included from ./Solver.h:29:
./SolverTypes.h:122:20: error: friend declaration specifying a default argument
must be a definition
    friend Clause* Clause_new(const V& ps, bool learnt = false);
                   ^
./SolverTypes.h:147:9: error: friend declaration specifying a default argument
must be the only
      declaration
Clause* Clause_new(const V& ps, bool learnt) {
        ^
./SolverTypes.h:122:20: note: previous declaration is here
    friend Clause* Clause_new(const V& ps, bool learnt = false);
                   ^
./Solver.C:123:21: error: no matching function for call to 'Clause_new'
        Clause* c = Clause_new(ps, false);
                    ^~~~~~~~~~
./Solver.C:602:29: error: no matching function for call to 'Clause_new'
                Clause* c = Clause_new(learnt_clause, true);
                            ^~~~~~~~~~
4 errors generated.

PR:		216809
Obtained from:	upstream
Approved by:	portmgr blanket
18 Jan 2017 13:20:32
Original commit files touched by this commit  6.3.3_4
Revision:431796  Sanity Test Failure
tijl search for other commits by this committer
The output of tools like awk, date, sort, tr,... depends on the current
locale set by the user.  Add LANG=C and LC_ALL=C at the beginning of
bsd.port.mk and export them so all commands are executed with the C locale.
LC_ALL=C overrides all other LC_* variables.  LANG is used by setlocale(3)
as default value for LC_* variables, so normally it isn't used when LC_ALL
is set, but there's code out there that looks at LANG directly so it's safer
to set it as well.  The only commands not captured by this are !=
assignments before any inclusion of bsd.port.*mk.

Introduce USE_LOCALE=<locale> that adds LANG=<locale> and LC_ALL=<locale> to
CONFIGURE_ENV and MAKE_ENV so upstream build systems can be executed with a
different locale (e.g. USE_LOCALE=en_US.UTF-8).

PR:		215882
Exp-run by:	antoine
Approved by:	portmgr (antoine)
20 Nov 2016 09:38:09
Original commit files touched by this commit  6.3.3_4
Revision:426566
gerald search for other commits by this committer
Bump PORTREVISIONS for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of
gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang,
c++11-lang, c++0x, c11 requested via USES=compiler.
01 Apr 2016 14:08:38
Original commit files touched by this commit  6.3.3_3
Revision:412347
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
23 Jul 2015 16:22:29
Original commit files touched by this commit  6.3.3_3
Revision:392738
danilo search for other commits by this committer
- Fix docs build after texlive upgrade
- Fix build without docs
30 Jun 2015 02:30:36
Original commit files touched by this commit  6.3.3_3
Revision:390944
danilo search for other commits by this committer
- Add missing dependency on libgmp
- Add LDFLAGS necessary to link with libgmp
- Fix shebang on an example file

PR:		201133
Submitted by:	amdmi3
MFH:		2015Q2
27 Oct 2014 15:23:31
Original commit files touched by this commit  6.3.3_2
Revision:371587
bapt search for other commits by this committer
Cleanup plist
07 Sep 2014 17:09:50
Original commit files touched by this commit  6.3.3_2
Revision:367577
antoine search for other commits by this committer
Unbreak by fixing a typo
06 Sep 2014 15:10:18
Original commit files touched by this commit  6.3.3_2
Revision:367442
adamw search for other commits by this committer
Fix build by removing texlive from USE_TEX.

While here, just add install_docs to INSTALL_TARGET rather than
calling a separate ${MAKE} without MAKE_ENV or MAKE_ARGS.
12 Jul 2014 22:10:48
Original commit files touched by this commit  6.3.3_2
Revision:361645
danilo search for other commits by this committer
- Use texlive as build depends instead of tetex
28 Nov 2013 15:09:40
Original commit files touched by this commit  6.3.3_1
Revision:335099
danilo search for other commits by this committer
- Bump PORTREVISION
28 Nov 2013 14:56:08
Original commit files touched by this commit  6.3.3
Revision:335097
danilo search for other commits by this committer
- Fix plist
- Add MYDDAS option to enable MySQL
- Use options helpers
06 Nov 2013 02:57:51
Original commit files touched by this commit  6.3.3
Revision:332941
danilo search for other commits by this committer
- Revert to patches to enable build on i386
05 Nov 2013 23:19:57
Original commit files touched by this commit  6.3.3
Revision:332929
danilo search for other commits by this committer
- Build with GCC
- Remove extra patches
03 Nov 2013 18:12:02
Original commit files touched by this commit  6.3.3
Revision:332636
danilo search for other commits by this committer
- Fix build with clang on i386
10 Oct 2013 14:08:02
Original commit files touched by this commit  6.3.3
Revision:330001
danilo search for other commits by this committer
- Add new port lang/yap-devel

Yap-6.3.3 is the development version of lang/yap (6.2.2).

YAP is a high-performance Prolog compiler developed at
LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog
engine is based in the WAM (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.

PR:		ports/181334
Submitted by:	Danilo Egea Gondolfo <danilogondolfo@gmail.com>
Approved by:	wg/culot (mentors)

Number of commits found: 19

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
opensslNov 02
openssl-develNov 02
wordpressNov 01
php56Oct 30
php70Oct 30
php71Oct 30
wiresharkOct 30
chromiumOct 28
wgetOct 27
wgetOct 27
openoffice-4*Oct 26
openoffice-devel*Oct 26
gitlabOct 25
nodeOct 25
node4Oct 25

No vulnerabilities have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 31902
Broken 125
Deprecated 46
Ignore 361
Forbidden 0
Restricted 173
No CDROM 78
Vulnerable 48
Expired 11
Set to expire 38
Interactive 0
new 24 hours 5
new 48 hours16
new 7 days142
new fortnight3298
new month3497

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2017 Dan Langille. All rights reserved.