Differences
This shows you the differences between two versions of the page.
|
pp:21:limbaje [2021/04/27 10:22] andrei.olaru [Prolog] |
pp:21:limbaje [2021/04/27 10:56] (current) andrei.olaru [Prolog] |
||
|---|---|---|---|
| Line 45: | Line 45: | ||
| * fișierul de preferințe (dacă va fi nevoie să schimbați ceva, vedeți mai jos): | * fișierul de preferințe (dacă va fi nevoie să schimbați ceva, vedeți mai jos): | ||
| * în Windows, acesta se găsește în directorul AppData/Roaming (e.g. ''C:\Users\Name\AppData\Roaming\SWI-Prolog''), cu numele init.pl | * în Windows, acesta se găsește în directorul AppData/Roaming (e.g. ''C:\Users\Name\AppData\Roaming\SWI-Prolog''), cu numele init.pl | ||
| + | * în Windows, acesta poate fi deschis și din aplicația SWI-Prolog, meniul Settings -> User init file | ||
| * în Linux, acesta se găsește la ''~/.config/swi-prolog/init.pl'' | * în Linux, acesta se găsește la ''~/.config/swi-prolog/init.pl'' | ||
| * dacă fișierul nu există, puteți să îl creați | * dacă fișierul nu există, puteți să îl creați | ||
| * activare suport **diacritice** în surse -- **doar dacă diacriticele nu sunt suportate automat**: | * activare suport **diacritice** în surse -- **doar dacă diacriticele nu sunt suportate automat**: | ||
| - | * în fișierul de preferințe, se adaugă (la sfârșit) linia: <code>:-set_prolog_flag(encoding,utf8). </code> | + | * în fișierul de preferințe, se adaugă (la sfârșit) linia: <code>:- set_prolog_flag(encoding,utf8). </code> |
| - | * **configurare editor** care pornește atunci când folosiți comanda ''edit.'' din consolă: | + | * **configurare editor** care pornește atunci când folosiți comanda ''edit.'' din consolă (pare că în windows această configurare nu merge dacă prologul este pornit cu `swipl` din consola sistemului): |
| * (editorul care vine cu SWI-Prolog este ''pce-emacs'' | * (editorul care vine cu SWI-Prolog este ''pce-emacs'' | ||
| * în fișierul de configurare, adăugați opțiunea:<code>:- set_prolog_flag(editor, pce_emacs). </code> | * în fișierul de configurare, adăugați opțiunea:<code>:- set_prolog_flag(editor, pce_emacs). </code> | ||
| * înlocuiți ''pce_emacs'' cu numele editorului preferat | * înlocuiți ''pce_emacs'' cu numele editorului preferat | ||
| + | * în Windows, ar trebui ca ''pce_emacs'' să fie activ automat dacă se pornește prologul din Start sau deschizând un fișier princ click; dacă nu, încercați ca din fereastra prologului să folosiți comanda "User init file" din meniul "Settings" și apoi să reporniți Prolog | ||
| * pentru **keyboard shortcuts în editorul pce_emacs**, dacă nu merge ''Ctrl-V'' pentru Paste: | * pentru **keyboard shortcuts în editorul pce_emacs**, dacă nu merge ''Ctrl-V'' pentru Paste: | ||
| * Edit -> Editor Preferences -> se decomentează linia ''key_binding.style: cua'' (prin eliminarea semnului de exclamare de la începutul liniei), se dă File -> Save și se repornește Prologul. | * Edit -> Editor Preferences -> se decomentează linia ''key_binding.style: cua'' (prin eliminarea semnului de exclamare de la începutul liniei), se dă File -> Save și se repornește Prologul. | ||
| * Comenzi utile: | * Comenzi utile: | ||
| + | * pornirea consolei Prolog se face prin: | ||
| + | * în Linux, comanda ''prolog'' | ||
| + | * în Windows, deschiderea aplicației SWI-Prolog, sau comanda ''swipl'' | ||
| * un fișier se încarcă: | * un fișier se încarcă: | ||
| - | * fie deschizând prologul cu ''prolog fisier.pl'' din consola sistemului, | + | * în Linux: deschizând Prolog cu ''prolog fisier.pl'' din consola sistemului |
| - | * fie, din consola prolog, prin comanda ''load_files('fisier.pl').'' | + | * în Windows: |
| + | * prin deschiderea fișierului din Explorer, sau | ||
| + | * prin comanda ''swipl fisier.pl'' din consola sistemului | ||
| + | * din consola Prolog, prin comanda ''load_files('fisier.pl').'' | ||
| * pentru deschiderea editorului configurat se folosește comanda ''edit.'' sau, dacă sunt mai multe fișiere încărcate, ''edit('fisier.pl').'' | * pentru deschiderea editorului configurat se folosește comanda ''edit.'' sau, dacă sunt mai multe fișiere încărcate, ''edit('fisier.pl').'' | ||
| * încărcare modificări | * încărcare modificări | ||
