ForthLogic inst prog H P.1.2 120113.pdf - F&F

Instrukcja programowania w języku ForthLogic wersja P.1.2
> NOAUTOSPACE ." Tekst “ SPACE QUOTE SPACE .” Hello world! " SPACE QUOTE
> (OK) Tekst ” Hello world! "
Na potrzeby realizacji zadań zachodzi potrzeba sprawdzenia czy wiersz w buforze wyjściowym nie jest „pusty”,
ewentualnie, jakiej jest długości. Służy do tego słowo LENGHT (długość), które oblicza liczbę znaków wiersza wraz ze
spacjami znajdującego się na dany moment w buforze wyjściowym i kładzie wynik na stos. Nie kasuje zawartości bufora
wyjściowego.
Do wykasowania tekstu znajdującego się na dany moment w buforze wyjściowym służy słowo FLUSH (zmyć).
4.4 OPERACJE LOGICZNE
Jak już wyjaśniano przy opisywaniu działania zmiennych jednobitowych (FLAG) w języku ForthLogic liczba 0 (w
ekwiwalencie dwójkowym jej wszystkie pozycje to zera) przedstawia znaczenie logiczne FAŁSZ, a jakakolwiek inna liczba
32‐bitowa przedstawia znaczenie logiczne PRAWDA. Jednocześnie słowa standardowe, które zwracają jako rezultat
wartość logiczną, ze wszystkich możliwych postaci znaczenia PRAWDA wykorzystują tylko jedna wartość: liczbę ‐1 (w
ekwiwalencie dwójkowym jej wszystkie pozycje to jedynki). Związane to jest z tym, że operacje logiczne: koniunkcji,
dysjunkcji i zaprzeczenia wykonywane są na analogicznych pozycjach bitów danych operandów.
Dla ułatwienia pracy przy tworzenia logicznych operacji istnieją specjalne stałe systemowe: TRUE (prawda) i FALSE (fałsz),
które kładą na stos danych znaczenia logiczne PRAWDA i FAŁSZ.
TRUE ‐ ‐‐‐> ‐1
FALSE ‐ ‐‐‐> 0
Dla opisanych znaczeń PRAWDA i FAŁSZ istnieją słowa, które wykonują logiczne obliczenia na górnych elementach stosu
danych. Ich nazwy i funkcje są takie same jak znane, standardowe operatory matematycznych działań logicznych:
AND A,B ‐‐‐> iloczyn logiczny (I) AB
OR A,B ‐‐‐> suma logiczna (LUB) A+B
XOR A,B ‐‐‐> symetryczna suma logiczna (ExOR) AB+ Ā B
NOT A ‐‐‐> zaprzeczenie logiczne (NEGACJA) Ā
Logiczne znaczenia wynikają także z operacji porównania. Te operacje zdejmują ze stosu dwa górne elementy, porównują
je jako liczby ze znakiem i zwracają na stos danych porównania w postaci twierdzeń PRAWDA lub FAŁSZ. Znaki
porównania, które wchodzą do zestawu bazowego słów mają ogólnie przyjęte oznaczenia:
< A,B ‐‐‐> A < B mniejsze
= A,B ‐‐‐> A = B równe
> A,B ‐‐‐> A > B większe
A A != B różne
>= A,B ‐‐‐> A >= B większe lub równe
Logiczne znaczenia również powstają w operacjach porównania liczb ze stosu matematycznego. Słowa usuwają z
matematycznego stosа dwa górne znaczenia, porównują je jako liczby ze znakiem i kładą na stos danych wynik
porównania pod postacią znaczeń PRAWDA lub FAŁSZ.
Znaki porównania dla liczb zmiennoprzecinkowych:
F< F: A,B ‐‐‐> F: ‐
‐ ‐‐‐> A < B mniejsze
F> F: A,B ‐‐‐> F: ‐
‐ ‐‐‐> A > B większe
Przykład obliczeń logicznych:
‐ 21 ‐