sCASP
Top-down interpreter for ASP programs with Constraints
파일 탐색기
- count_asp.pl
- hanoi_for_simple_minds.pl
- hanoi_for_simple_minds_2.pl
- hanoi_for_simple_minds_3.pl
- Makefile
- new_hanoi_2.pl
- new_hanoi_3.pl
- diseq_oracle.pl
- refactor.pl
- call.pl
- findall01.pl
- diseq01-ok.pl
- diseq02-ok.pl
- output-test05-ok.txt
- README.txt
- test01-ok.pl
- test02-fail.pl
- test03-fail.pl
- test05-ok.pl
- fever3.pl
- fever4.html
- fever4.pl
- output-fever3.pl
- output-fever4.pl
- abdbirds.pl
- birds.pl
- birds2.pl
- classic_negation.pl
- classical_neg_entail.pl
- cofailure.pl
- directive_test.pl
- errtest.pl
- family.pl
- gpa.pl
- graph.pl
- hamcycle.pl
- hamcycle2.pl
- hamcycle_two.pl
- hanoi.pl
- hanoi_7.pl
- hanoi_clp.pl
- left-rec-succ_BAD.pl
- left.pl
- lion.pl
- list.pl
- loop_pos.pl
- loop_succ_pos.pl
- loopvar.pl
- loopvar2.pl
- member.pl
- multitest.pl
- natnum.pl
- oddloop_odd.pl
- paperexample.pl
- path.pl
- path_loop.pl
- pos_loop2_simple.pl
- pos_loop_pass_simple.pl
- pos_loop_simple.pl
- pq_asp.pl
- pq_loop.pl
- pq_loop_b.pl
- queens.pl
- queens_hide.pl
- queens_hide_d0.pl
- queens_old.pl
- reflexive.pl
- schedule.pl
- simple.pl
- struct.pl
- succ.pl
- test1.pl
- test10.pl
- test11.pl
- test12.pl
- test13.pl
- test14.pl
- test15.pl
- test16.pl
- test17.pl
- test18.pl
- test19.pl
- test2.pl
- test20.pl
- test21.pl
- test3.pl
- test4.pl
- test5.pl
- test6.pl
- test7.pl
- test8.pl
- test9.pl
- varcon.pl
- vars_optional.pl
- 01-weight_assignment_tree-654-0.asp
- 02-weight_assignment_tree-687-0.asp
- 03-weight_assignment_tree-742-0.asp
- 04-weight_assignment_tree-612-0.asp
- 05-weight_assignment_tree-579-0.asp
- 06-weight_assignment_tree-560-0.asp
- 07-weight_assignment_tree-547-0.asp
- 08-weight_assignment_tree-806-0.asp
- 09-weight_assignment_tree-778-0.asp
- 10-weight_assignment_tree-938-0.asp
- 11-weight_assignment_tree-934-0.asp
- 12-weight_assignment_tree-918-0.asp
- 13-weight_assignment_tree-901-0.asp
- 14-weight_assignment_tree-1070-0.asp
- 15-weight_assignment_tree-868-0.asp
- 16-weight_assignment_tree-862-0.asp
- 17-weight_assignment_tree-854-0.asp
- 18-weight_assignment_tree-851-0.asp
- 19-weight_assignment_tree-833-0.asp
- 20-weight_assignment_tree-997-0.asp
- 21-weight_assignment_tree-545-0.asp
- 22-weight_assignment_tree-539-0.asp
- 23-weight_assignment_tree-891-0.asp
- 24-weight_assignment_tree-814-0.asp
- 25-weight_assignment_tree-782-0.asp
- 26-weight_assignment_tree-764-0.asp
- 27-weight_assignment_tree-755-0.asp
- 28-weight_assignment_tree-646-0.asp
- 29-weight_assignment_tree-644-0.asp
- 30-weight_assignment_tree-631-0.asp
- 31-weight_assignment_tree-863-0.asp
- 32-weight_assignment_tree-812-0.asp
- 33-weight_assignment_tree-810-0.asp
- 34-weight_assignment_tree-809-0.asp
- 35-weight_assignment_tree-805-0.asp
- 36-weight_assignment_tree-802-0.asp
- 37-weight_assignment_tree-797-0.asp
- 38-weight_assignment_tree-879-0.asp
- 39-weight_assignment_tree-953-0.asp
- 40-weight_assignment_tree-944-0.asp
- 41-weight_assignment_tree-718-0.asp
- 42-weight_assignment_tree-367-0.asp
- 43-weight_assignment_tree-645-0.asp
- 44-weight_assignment_tree-365-0.asp
- 45-weight_assignment_tree-312-0.asp
- 46-weight_assignment_tree-764-0.asp
- 47-weight_assignment_tree-474-0.asp
- 48-weight_assignment_tree-285-0.asp
- 49-weight_assignment_tree-272-0.asp
- 50-weight_assignment_tree-430-0.asp
- 51-weight_assignment_tree-2133-0.asp
- 52-weight_assignment_tree-1777-0.asp
- 53-weight_assignment_tree-1685-0.asp
- 54-weight_assignment_tree-1642-0.asp
- 55-weight_assignment_tree-1620-0.asp
- 56-weight_assignment_tree-1735-0.asp
- 57-weight_assignment_tree-1694-0.asp
- 58-weight_assignment_tree-1647-0.asp
- 59-weight_assignment_tree-1595-0.asp
- 60-weight_assignment_tree-1588-0.asp
- 61-weight_assignment_tree-1542-0.asp
- 62-weight_assignment_tree-2102-0.asp
- select_instance.asp
- select_instance.pl
- weight_seq_clp.pl
- weight_seq_ezsmt.pl
- weight_seq_scasp.pl
- weight_seq_tclp.pl
- ball_asp.pl
- ball_tclpq.pl
- block_asp.pl
- clingcon_example.pl
- cross_train_Pontelli_97.pl
- cross_train_Pontelli_97_execution.txt
- ezsmt_light.pl
- s.pl
- zhou_birds.pl
- edge.pl
- notp.pl
- notpq.pl
- output01.txt
- p.pl
- path.pl
- pq.pl
- prop.pl
- max.lp
- WORK_IN_PROGRESS
- scasp_man.pl
- SETTINGS.pl
- Tricks.md
- user_installation.pl
- user_usage.pl
- bec_light_sasp_discrete_0.25.pl
- bec_light_sasp_discrete_0.5.pl
- bec_theory_discrete.pl
- go_time_bec_light_sasp_discrete
- bec_light_01.pl
- bec_light_02.pl
- bec_light_03_inconsistent.pl
- bec_light_04_theinconsistencedonothappens.pl
- bec_tap_01_overflow.pl
- bec_tap_02_no_overflow.pl
- bec_tap_03_two_models.pl
- bec_tap_04_abducible_infer_event_time.pl
- go_bec_light_01
- go_bec_light_02_03_04
- go_bec_tap_01_overflow
- go_bec_tap_02_no_overflow
- go_bec_tap_03_two_models
- go_bec_tap_04_abducible_infer_event_time
- go_time_bec_light_01
- bec_theory.pl
- bec_light_01.pl
- bec_query01.pl
- bec_query02.pl
- bec_query03.pl
- bec_query0x.pl
- light-tree.html
- light_01.clingo
- query00.clingo
- query01.clingo
- query02.clingo
- query03.clingo
- go_light
- go_vessel
- output_light.txt
- output_vessel.txt
- bec_queries.pl
- bec_query01.pl
- bec_vessel_01.pl
- query00.clingo
- query01.clingo
- query02.clingo
- vessel_01.clingo
- bec_theory.pl
- theory.clingo
- theory.e
- README.md
- BENCHMARK-sasp-scasp.txt
- hamcycle_one.pl
- hamcycle_two.pl
- hanoi_8.pl
- Makefile
- queens_4.pl
- new_stream.pl
- README.md
- stream_reasoning.pl
- hanoi_min.pl
- hanoi_scasp_7.pl
- hanoi_scasp_8.pl
- hanoi_scasp_9.pl
- Makefile
- new_hanoi.pl
- README.md
- toh_incremental_7.pl
- toh_incremental_8.pl
- toh_incremental_9.pl
- toh_standard_5.pl
- toh_standard_6.pl
- toh_standard_7.pl
- toh_standard_8.pl
- toh_standard_9.pl
- hamiltonian_asp.pl
- hamiltonian_scasp.pl
- README.md
- README.md
- yale_shooting_casp.pl
- yale_shooting_casp_v2.pl
- yale_shooting_clingoLD.pl
- birds_compiled.pl
- birds_compiled_raw.pl
- README
- PAS_case.pl
- PAS_guide.pl
- PAS_patient.pl
- PAS_rules.pl
- PAS_server.pl
- README.md
- birds.pl
- http.pl
- solve_findall.pl
- birds.pl
- pas.pl
- pq.pl
- birds.html
- birds.pl
- classic_negation_incostistent.pl
- entail_loop.pl
- family.pl
- hamcycle.pl
- hamcycle_two.pl
- hanoi.pl
- hanoi_7.pl
- min_model.pl
- pq.pl
- queens.pl
- rps.pl
- Manifest.pl
- call_stack.pl
- clpq.pl
- disequality.pl
- html_head.pl
- html_tail.pl
- jquery_tree.pl
- en.pl
- nl.pl
- scasp.css
- scasp.js
- call_graph.pl
- common.pl
- comp_duals.pl
- compile.pl
- coverage.pl
- dyncall.pl
- embed.pl
- html.pl
- html_text.pl
- human.pl
- input.pl
- json.pl
- listing.pl
- load_compiled.pl
- main.pl
- messages.pl
- model.pl
- modules.pl
- nmr_check.pl
- ops.pl
- options.pl
- output.pl
- pr_rules.pl
- predicates.pl
- program.pl
- prolog.pl
- solve.pl
- source_ref.pl
- stack.pl
- swish.pl
- variables.pl
- verbose.pl
- scasp.pl
- newversion
- publish
- hamilton_c.pass
- hamilton_c.pl
- abdbirds.pass
- abdbirds.pl
- gpa.pass
- gpa.pl
- hamcycle.pass
- hamcycle.pl
- hamcycle2.pass
- hamcycle2.pl
- hamcycle_two.pass
- hamcycle_two.pl
- hanoi_7.pass
- hanoi_7.pl
- left-rec-succ_BAD.pass
- left-rec-succ_BAD.pl
- lion.pass
- lion.pl
- loop_pos.pass
- loop_pos.pl
- loop_succ_pos.pass
- loop_succ_pos.pl
- loopvar.pass
- loopvar.pl
- loopvar2.pass
- loopvar2.pl
- natnum.pass
- natnum.pl
- path_loop.pass
- path_loop.pl
- queens_old.pass
- queens_old.pl
- abdbirds.pl
- bec_light.pass
- bec_light.pl
- bec_loan.pl
- bec_tap_01_overflow.pl
- bec_tap_02_no_overflow.pl
- bec_tap_03_two_models.pl
- bec_tap_04_abducible_infer_event_time.pl
- bec_theory.incl
- birds.pass
- birds.pl
- citizenshiptrust-scasp.pl
- classic_negation_inconstistent.pass
- classic_negation_inconstistent.pl
- classic_negation_incostistent.pl
- clpq_equality.pl
- criminaljustice-scasp.pl
- cross_train_Pontelli_97_execution.txt
- family-le-scasp.pl
- family.pass
- family.pl
- forall_arity.pass
- forall_arity.pl
- gpa.pl
- hamcycle.pass
- hamcycle.pl
- hamcycle2.pl
- hamcycle_two.pass
- hamcycle_two.pl
- hanoi.pass
- hanoi.pl
- hanoi_7.pl
- hanoi_scasp_7.pl
- haplotype.pl
- impossibleancestor-scasp.pl
- isdapermissioncorrected-scasp.pl
- itispermittedthat-scasp.pl
- left-rec-succ_BAD.pl
- lion.pl
- list-scasp.pl
- loanwithcure-scasp.pl
- loop_pos.pl
- loop_succ_pos.pl
- loopvar.pl
- loopvar2.pl
- min_model.pl
- minicontract-scasp.pl
- natnum.pl
- obligation-scasp.pl
- path_loop.pl
- pq.pass
- pq.pl
- queens.pass
- queens.pl
- queens_old.pl
- rat.pass
- rat.pl
- simpleRPS-scasp.pl
- solve_findall.pass
- solve_findall.pl
- subset-scasp.pl
- turingcomplete-scasp.pl
- vars.pass
- vars.pl
- bec_theory.incl
- citizenshiptrust-scasp.pl
- criminaljustice-scasp.pl
- escrow-scasp.jump
- family-le-scasp.pl
- impossibleancestor-scasp.pl
- isdapermissioncorrected-scasp.pl
- itispermittedthat-scasp.pl
- list-scasp.pl
- loanwithcure-scasp.pl
- minicontract-scasp.pl
- obligation-scasp.pl
- simpleRPS-scasp.pl
- subset-scasp.pl
- turingcomplete-scasp.pl
- bec_loan.pl
- bec_tap_04_abducible_infer_event_time.pl
- clpq_gt_gte_lt_lte_equal.pl
- clpq_intercept.pl
- ex01-dual.pl
- ex02-member.pl
- forall_arity.pl
- hamiltonian_scasp.pl
- lion.pl
- nixon-diamond.pl
- queens_old.pl
- solve_call.pl
- solve_findall_superset.pl
- solve_forall.pl
- solve_not_is.pl
- solve_not_true.pl
- stream_reasoning.pl
- yale_shooting_casp_v2.pl
- ex01-dual.pl
- solve_not_true.pl
- bench.sh
- diff.pl
- test_clp_disequality.pl
- test_just.pl
- test_prolog.pl
- test_scasp.pl
- .gitignore
- .gitlab-ci.yml
- LICENSE
- Makefile
- pack.pl
- README.md
- VERSION
# CDN으로 사용하기
jsDelivrjsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.
링크
예시
명령어 용어집
이 문서에서 사용된 명령어를 모아봤습니다. 낯선 명령어가 있다면 펼쳐서 확인해보세요.
swipl
설명 보기 ▼
swipl
SWI-Prolog - 포괄적인 무료 Prolog 환경.
더 많은 정보: <https://www.swi-prolog.org/pldoc/man?section=cmdline>.
swipl
대화형 세션 시작:
swipl --quiet -t "{{command}}"
출력을 표시하지 않고 명령 실행:
swipl {{path/to/file.pl}}
스크립트 실행:
// repository documentation
Was this content helpful?
(0 ratings)
