Update README.md
Browse files
README.md
CHANGED
|
@@ -85,7 +85,7 @@ print(
|
|
| 85 |
|
| 86 |
|
| 87 |
# output:
|
| 88 |
-
|
| 89 |
[FOL]
|
| 90 |
cat(animal)
|
| 91 |
dog(animal)
|
|
@@ -94,4 +94,5 @@ dog(animal)
|
|
| 94 |
|
| 95 |
[CONCLUSION_FOL]
|
| 96 |
awesome(dog)
|
| 97 |
-
</ASSISTANT>
|
|
|
|
|
|
| 85 |
|
| 86 |
|
| 87 |
# output:
|
| 88 |
+
```C++
|
| 89 |
[FOL]
|
| 90 |
cat(animal)
|
| 91 |
dog(animal)
|
|
|
|
| 94 |
|
| 95 |
[CONCLUSION_FOL]
|
| 96 |
awesome(dog)
|
| 97 |
+
</ASSISTANT>
|
| 98 |
+
```
|